List - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1952-1956
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2872-2879
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 584-588
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2870-2870	子類 List and Abstract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2912-2912	例空列表 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7590-7590	範圍 AmountsFn and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3069-3069	範圍列表連接 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2930-2930	範圍名單 and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1977-1977	範圍 Mean3SecondWindSpeedListFn and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3159-3159	範圍 SubListFn and List
No TPTP formula. May not be expressible in strict first order.	Music.kif 49-49	子類 Album and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1909-1909	子類 ConsecutiveTimeIntervalList and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1696-1696	子類 MeasuringList and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1764-1764	子類 MeasuringResultList and List
No TPTP formula. May not be expressible in strict first order.	Music.kif 1119-1119	子類 MusicChart and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1799-1799	子類 NumberList and List
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2469-2469	子類 SRPResults and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2898-2898	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 913-913	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1033-1033	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	french_format.kif 589-589	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 119-119	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 122-122	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2274-2274	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 541-541	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 124-124	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 156-156	子類 UniqueList and List
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 415-415	子類 UniqueList and List

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3266-3266	域 AverageFn, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3221-3221	域第一, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3201-3201	域持續, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3067-3067	域列表連接, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3068-3068	域列表連接, 2 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3009-3009	域列表長度, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2972-2972	域清單順序, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3235-3235	域 ListSumFn, 1 and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1663-1663	域 MaxValueFn, 1 and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1486-1486	域 StandardDeviationFn, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3158-3158	域 SubListFn, 3 and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1430-1430	域 VarianceAverageFn, 2 and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1453	域 VarianceFn, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5354-5354	域平均, 1 and List
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1402-1402	域命令行參數, 2 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3315-3315	域相同的清單項目, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3316-3316	域相同的清單項目, 2 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3102-3102	域在列表中, 2 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3115-3115	域子列表, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3116-3116	域子列表, 2 and List
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 763-763	域 viewedItemList, 2 and List

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3227-3232

例 List and List 等於 List and 空列表
等於 List 的 first and 清單順序 List and 1

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2735-2745	測量 RealNumber and 長噸是 Collection 的 fleet 載重噸位測量 RealNumber and 長噸是水車的 vessel 載重噸位會員水車 and Collection List 例 List and List 在列表中 RealNumber and List 等於 RealNumber and ListSumFn List
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2101-2109	例 Process and OrderingParts 患者 Process and Entity 有目的 Process and entity 例 entity and List 在列表中 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	例 Process and ShuttleService List Object and AutonomousAgent agent Process and AutonomousAgent 擁有 AutonomousAgent and Object 例 Object and 汽車例 List and List Entity 在列表中 Entity and List 例 Entity and PostalPlace Process 例 Process and Transportation agent Process and AutonomousAgent 儀器 Process and Object 目的地 Process and Entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: