inList - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1973-1975
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3104-3106
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 605-607
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3101-3101	域在列表中, 1 and Entity
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 3099-3099	例在列表中 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3100-3100	例在列表中 and PartialValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.	english_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	french_format.kif 87-87
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 147-147
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1914-1914
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 39-39
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 103-103
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 157-157
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 186-186
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 106-106
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 86-86
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 298-298
No TPTP formula. May not be expressible in strict first order.	Music.kif 332-332	子關係 albumTrack and 在列表中
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30221-30221	子關係 albumTrack and 在列表中
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 132-132	子關係 albumTrack and 在列表中
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30220-30220	子關係 albumTrack and 在列表中
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30219-30219	子關係 albumTrack and 在列表中
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 47-47	子關係 albumTrack and 在列表中
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 299-299	子關係 albumTrack and 在列表中

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3281-3285	等於 RealNumber and AverageFn List 在列表中 Entity and List 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1987-1999	等於 List and Mean3SecondWindSpeedListFn GeographicArea and TimeInterval 在列表中 FunctionQuantity and List TimeIntervalLIST TimeInterval 等於 TimeIntervalLIST and TimeIntervalListFn TimeInterval and 測量 3 and 第二期在列表中 TimeInterval and TimeIntervalLIST 等於 FunctionQuantity and Mean3SecondWindSpeedFn GeographicArea and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1980-1985	等於 List and Mean3SecondWindSpeedListFn GeographicArea and TimeInterval 在列表中 Entity and List 例 Entity and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 496-500	@ROW 是所有的 Attribute 的 attributes 在列表中 Entity and 名單 @ROW 例 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 490-494	@ROW 是所有的 Attribute 的 attributes 在列表中 Entity and 名單 @ROW 例 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1957-1962	在列表中 TimeInterval and ConsecutiveTimeIntervalList 等於 ConsecutiveTimeIntervalList and TimeIntervalListFn TimeInterval and TimeDuration 持續時間 TimeInterval and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1948-1955	在列表中 Entity and ConsecutiveTimeIntervalList 等於 ConsecutiveTimeIntervalList and TimeIntervalListFn TimeInterval and TimeDuration 等於開始 TimeInterval and 開始 ConsecutiveTimeIntervalList 的 first
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2491-2498	在列表中 Entity and List 例 List and SRPResults CorpuscularObject 例 CorpuscularObject and SearchResultsPage 零件 List and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2483-2489	在列表中 Entity and List 例 List and SRPResults 例 Entity and WebListing 例 Entity and WebPage
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1911-1915	例 List and ConsecutiveTimeIntervalList 在列表中 Entity and List 例 Entity and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1702	例 List and MeasuringList 在列表中 Entity and List 例 Entity and Measuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1766-1770	例 List and MeasuringResultList 在列表中 Entity and List 例 Entity and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1732-1736	例 List and MeasuringSurfaceWindSpeedList 在列表中 Entity and List 例 Entity and SurfaceWindSpeedMeasuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1801-1805	例 List and NumberList 在列表中 Entity and List 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2671-2676	例 Entity and 有意圖的關係 Entity CognitiveAgent and @ROW 在列表中 Entity and 名單 @ROW 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1751-1757	locationMeasuringList MeasuringList and GeographicArea 在列表中 Process and MeasuringList 例 Process and Measuring Process 是 located 在 GeographicArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1842-1846	measuringListInterval MeasuringList and TimeDuration 在列表中 Physical and MeasuringList 持續時間何時 Physical and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17047-17055	方位 Object, Object and PositionalAttribute 相反的屬性 @ROW 在列表中 PositionalAttribute and 名單 @ROW 在列表中 PositionalAttribute and 名單 @ROW 等於 PositionalAttribute and PositionalAttribute 方位 Object, Object and PositionalAttribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 800-816	@ROW processes 的 list 在列表中 Physical and 名單 @ROW 在列表中 Physical and 名單 @ROW 等於清單順序名單 @ROW and PositiveInteger and Physical 等於清單順序名單 @ROW and PositiveInteger and Physical 少於 PositiveInteger and PositiveInteger 早期何時 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 771-781	List 是樣品清單 viewed 由 AutonomousAgent 在列表中 Process and List 例 Process and AccessingWebPage agent Process and AutonomousAgent Entity 例 Entity and WebPage 目的地 Process and WebPage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3108-3111	在列表中 Entity and List PositiveInteger 等於清單順序 List and PositiveInteger and Entity

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.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	CognitiveAgent 是在 Album 上的表演者 ContentBearingObject Process 例 ContentBearingObject and Recording 在列表中 ContentBearingObject and Album ContentBearingObject 是個 Process 的 record agent Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7607-7622	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4855-4866	等於最大公約數 @ROW and Integer 等於 Integer and 0 Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4868-4882	等於最大公約數 @ROW and Integer 等於 Integer and 0 Integer 比較多 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4940-4950	等於最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4952-4966	等於最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 少於 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	等於 DataStorageDevice and Album 在 DataStorageDeviceS 的 set 複製例 DataStorageDevice and DataStorageDevice Object 在列表中 Object and Album ContentBearingObject 複製 ContentBearingObject and Object ContentBearingObject 是 stored 在 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1987-1999	等於 List and Mean3SecondWindSpeedListFn GeographicArea and TimeInterval 在列表中 FunctionQuantity and List TimeIntervalLIST TimeInterval 等於 TimeIntervalLIST and TimeIntervalListFn TimeInterval and 測量 3 and 第二期在列表中 TimeInterval and TimeIntervalLIST 等於 FunctionQuantity and Mean3SecondWindSpeedFn GeographicArea and TimeInterval
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.	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛部分 Object and Object 例 Motion and 易位儀器 Motion and Object 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數在列表中 RealNumber and entity 持有期間何時結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 801-812	例 Object and DigitalDataStorageDevice 部分 SymbolicString and Object 例 SymbolicString and 數字數據 CodeMap List and Entity SymbolicString 在 CodeMap denotes Entity 代表 List and CodeMap 在列表中 Entity and List 例 Entity and BinaryNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1514-1529	例水波 and 水波 waveHeight 水波 and LengthMeasure List WaterArea, UnitOfMeasure and RealNumber 在列表中 LengthMeasure and List 例 WaterArea and WaterArea 水波是 located 在 WaterArea 例 UnitOfMeasure and UnitOfLength significantWaveHeight WaterArea, 何時水波 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 4.0 and StandardDeviationFn 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.	Merge.kif 5363-5368	RealNumber 是 List 的 average ListITEM 在列表中 ListITEM and List 例 ListITEM and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-461	相反的屬性 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2945-2950	不相交分解 Class and @ROW Class 在列表中 Class and 名單 @ROW 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2952-2961	不相交分解 Class and @ROW Class Class 在列表中 Class and 名單 @ROW 在列表中 Class and 名單 @ROW 等於 Class and Class 不相交的 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 567-571	不相交分解 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4853	等於最大公約數 @ROW and Integer 在列表中 Entity and 名單 @ROW 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4933-4938	等於最不常見的倍數 @ROW and Integer 在列表中 Entity and 名單 @ROW 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1667-1674	等於 RealNumber and MaxValueFn List RealNumber 在列表中 RealNumber and List 比較多 RealNumber and RealNumber

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: