串列中 (inList)
The analog of element and instance for Lists.
(inList obj list) means that obj is in the List list. For example,
(inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.
Ontology
SUMO / BASE-ONTOLOGYClass(es)
Coordinate term(s)
反面函數
計數函數
正面函數
主體函數
或然率函數
表皮函數
弧線重量
屬性
作者
先於
先於或同時
肇因
次類肇因
公民
封閉於
填滿
相連的
已連結工程元件
包含訊息
共生
複製
相交
日期
降低可能性
發展期形式
無交集
分配
文字說明
持續時間
期間
較早
編者
元素
雇用
相等
等同關係於
利用
以...語言表達
面對
家族關係
填充
完成
次數
圖部分
大於
大於或等於
有意圖
有技巧
在...期間為真
須使...為真
有權使...為真
洞
同一元素
直接實例
直接次種類
在注意範圍中
增加可能性
獨立或然率
居住
抑制
初始化序列
實例
內部
倒序
非反射於...
大於
小於
小於或等於
方式/情狀
物質
測量
空間上接觸
時段相接
成員
情態屬性
部分重疊
時段重疊
雙親
偏序於...
部分填充
部分位於
路徑長
穿入
擁有
先決條件
避免
正部分
適當填充
特性
出版
範圍
範圍次種類
實現
提及
反射於...
SUMO內部相關概念
兄弟姊妹
小於
開始
次屬性
次聚集
次圖
次序列
次組織
次計畫
次歷程
次命題
次種類
次關係
包含訊息種類
包含訊息實例
續接屬性
封閉續接屬性
外表部分
表面
時間部分
時間
全序於...
三分法
使用
（結合）價
人造物版本
Type restrictions
inList(實體, 序列)
Related WordNet synsets
- listed
- on a list
See more related synsets on a separate page.
Axioms (21)
If 無交集關係() holds and rel 是 "()" 的 一 成員, then rel 是 關係 的 實例.
(=>
(and
(disjointRelation @ROW)
(inList
?REL
(ListFn @ROW)))
(instance ?REL Relation))
If 無交集關係() holds and rel1 是 "()" 的 一 成員 and rel2 是 "()" 的 一 成員 and rel1 %&有 論元(s) number, then rel2 %&有 論元(s) number.
(=>
(and
(disjointRelation @ROW)
(inList
?REL1
(ListFn @ROW))
(inList
?REL2
(ListFn @ROW))
(valence ?REL1 ?NUMBER))
(valence ?REL2 ?NUMBER))
If 無交集關係() holds and rel1 是 "()" 的 一 成員 and rel2 是 "()" 的 一 成員 and rel1 等於 rel2 and rel1() (不) 成立s, then rel2() not(不) 成立.
(=>
(and
(disjointRelation @ROW1)
(inList
?REL1
(ListFn @ROW1))
(inList
?REL2
(ListFn @ROW1))
(not
(equal ?REL1 ?REL2))
(holds ?REL1 @ROW2))
(not
(holds ?REL2 @ROW2)))
- if 對立於 ?,
- then if element 是 "()" 的 一 成員, then element 是 屬性 的 實例
.
(=>
(contraryAttribute @ROW)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(instance ?ELEMENT Attribute)))
- if 窮盡的屬性,
- then if attr 是 "()" 的 一 成員, then attr 是 屬性 的 實例
.
(=>
(exhaustiveAttribute ?CLASS @ROW)
(=>
(inList
?ATTR
(ListFn @ROW))
(instance ?ATTR Attribute)))
- if 窮盡的屬性,
- then for all obj holds: if attr1 是 class 的 實例, then there exists attr2 so that attr2 是 "()" 的 一 成員 and attr1 等於 attr2
.
(=>
(exhaustiveAttribute ?CLASS @ROW)
(forall
(?OBJ)
(=>
(instance ?ATTR1 ?CLASS)
(exists
(?ATTR2)
(and
(inList
?ATTR2
(ListFn @ROW))
(equal ?ATTR1 ?ATTR2))))))
- if 被 �]含,
- then if element 是 "()" 的 一 成員, then element 是 種類 的 實例
.
(=>
(exhaustiveDecomposition @ROW)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(instance ?ELEMENT Class)))
- if 無交集地 分解成 ,
- then if element 是 "()" 的 一 成員, then element 是 種類 的 實例
.
(=>
(disjointDecomposition @ROW)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(instance ?ELEMENT Class)))
If rel 是 意圖關係 的 實例 and rel(agent,) (不) 成立s and obj 是 "()" 的 一 成員, then agent 在 obj 範圍中.
(=>
(and
(instance ?REL IntentionalRelation)
(holds ?REL ?AGENT @ROW)
(inList
?OBJ
(ListFn @ROW)))
(inScopeOfInterest ?AGENT ?OBJ))
list 等於 空列 if and only if there doesn't exist item so that item 是 list 的 一 成員.
(<=>
(equal ?LIST NullList)
(not
(exists
(?ITEM)
(inList ?ITEM ?LIST))))
- if class 被 �]含,
- then for all obj holds: if obj 是 class 的 實例, then there exists item so that item 是 "()" 的 一 成員 and obj 是 item 的 實例
.
(=>
(exhaustiveDecomposition ?CLASS @ROW)
(forall
(?OBJ)
(=>
(instance ?OBJ ?CLASS)
(exists
(?ITEM)
(and
(inList
?ITEM
(ListFn @ROW))
(instance ?OBJ ?ITEM))))))
- if class 無交集地 分解成 ,
- then for all item holds: if item 是 "()" 的 一 成員, then item 是 class 的 次種類
.
(=>
(disjointDecomposition ?CLASS @ROW)
(forall
(?ITEM)
(=>
(inList
?ITEM
(ListFn @ROW))
(subclass ?ITEM ?CLASS))))
- if class 無交集地 分解成 ,
- then for all item1,item2 holds: if item1 是 "()" 的 一 成員 and item2 是 "()" 的 一 成員 and item1 等於 item2, then item1 無交集 於 item2
.
(=>
(disjointDecomposition ?CLASS @ROW)
(forall
(?ITEM1 ?ITEM2)
(=>
(and
(inList
?ITEM1
(ListFn @ROW))
(inList
?ITEM2
(ListFn @ROW))
(not
(equal ?ITEM1 ?ITEM2)))
(disjoint ?ITEM1 ?ITEM2))))
item 是 list 的 一 成員 if and only if there exists number so that "list 的 第二 元素" 等於 item.
(<=>
(inList ?ITEM ?LIST)
(exists
(?NUMBER)
(equal
(ListOrderFn ?LIST ?NUMBER)
?ITEM)))
- if list1 是 list2 的 次序列,
- then for all item holds: if item 是 list1 的 一 成員, then item 是 list2 的 一 成員
.
(=>
(subList ?LIST1 ?LIST2)
(forall
(?ITEM)
(=>
(inList ?ITEM ?LIST1)
(inList ?ITEM ?LIST2))))
- if list1 是 list2 的 次序列,
- then there exists number3 so that for all item holds: if item 是 list1 的 一 成員, then there exist number1,number2 so that "list1 的 第二 元素" 等於 item and "list2 的 第二 元素" 等於 item and number2 等於 "(number1+number3)"
.
(=>
(subList ?LIST1 ?LIST2)
(exists
(?NUMBER3)
(forall
(?ITEM)
(=>
(inList ?ITEM ?LIST1)
(exists
(?NUMBER1 ?NUMBER2)
(and
(equal
(ListOrderFn ?LIST1 ?NUMBER1)
?ITEM)
(equal
(ListOrderFn ?LIST2 ?NUMBER2)
?ITEM)
(equal
?NUMBER2
(AdditionFn ?NUMBER1 ?NUMBER3))))))))
- if " 的 最大公約數" 等於 number,
- then for all element holds: if element 是 "()" 的 一 成員, then "element 取餘數 number" 等於
.
(=>
(equal
(GreatestCommonDivisorFn @ROW)
?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?ELEMENT ?NUMBER)
0))))
- if " 的 最大公約數" 等於 number,
- then there doesn't exist greater so that greater (不) 大於 number and for all element holds: if element 是 "()" 的 一 成員, then "element 取餘數 greater" 等於
.
(=>
(equal
(GreatestCommonDivisorFn @ROW)
?NUMBER)
(not
(exists
(?GREATER)
(and
(greaterThan ?GREATER ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?ELEMENT ?GREATER)
0)))))))
- if " 的 最小公倍數" 等於 number,
- then for all element holds: if element 是 "()" 的 一 成員, then "number 取餘數 element" 等於
.
(=>
(equal
(LeastCommonMultipleFn @ROW)
?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?NUMBER ?ELEMENT)
0))))
- if " 的 最小公倍數" 等於 number,
- then there doesn't exist less so that less 小於 number and for all element holds: if element 是 "()" 的 一 成員, then "less 取餘數 element" 等於
.
(=>
(equal
(LeastCommonMultipleFn @ROW)
?NUMBER)
(not
(exists
(?LESS)
(and
(lessThan ?LESS ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?LESS ?ELEMENT)
0)))))))
If obj1 對 obj2 是 attr1 and 對立於 ? and attr1 是 "()" 的 一 成員 and attr2 是 "()" 的 一 成員 and attr1 等於 attr2, then obj1 對 obj2 是 not attr2.
(=>
(and
(orientation ?OBJ1 ?OBJ2 ?ATTR1)
(contraryAttribute @ROW)
(inList
?ATTR1
(ListFn @ROW))
(inList
?ATTR2
(ListFn @ROW))
(not
(equal ?ATTR1 ?ATTR2)))
(not
(orientation ?OBJ1 ?OBJ2 ?ATTR2)))
