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 3109-3111
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 3106-3106	域在列表中, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3107-3107	域在列表中, 2 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3104-3104	例在列表中 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3105-3105	例在列表中 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 30193-30193
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30192-30192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30191-30191
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 47-47
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 299-299

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3286-3290	等於 RealNumber and AverageFn List 在列表中 Entity and List 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2001-2013	等於 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 1994-1999	等於 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 503-507	@ROW 是所有的 Attribute 的 attributes 在列表中 Entity and 名單 @ROW 例 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 497-501	@ROW 是所有的 Attribute 的 attributes 在列表中 Entity and 名單 @ROW 例 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7582-7587	在列表中 Entity and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 例 Entity and RationalNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1971-1976	在列表中 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 1962-1969	在列表中 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 1925-1929	例 List and ConsecutiveTimeIntervalList 在列表中 Entity and List 例 Entity and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1712-1716	例 List and MeasuringList 在列表中 Entity and List 例 Entity and Measuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1780-1784	例 List and MeasuringResultList 在列表中 Entity and List 例 Entity and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1746-1750	例 List and MeasuringSurfaceWindSpeedList 在列表中 Entity and List 例 Entity and SurfaceWindSpeedMeasuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1815-1819	例 List and NumberList 在列表中 Entity and List 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2677-2682	例 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 1765-1771	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 1856-1860	measuringListInterval MeasuringList and TimeDuration 在列表中 Physical and MeasuringList 持續時間何時 Physical and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16943-16951	方位 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 694-710	@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 3113-3116	在列表中 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 7596-7611	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 4861-4872	等於最大公約數 @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 4874-4888	等於最大公約數 @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 4946-4956	等於最不常見的倍數 @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 4958-4972	等於最不常見的倍數 @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 2001-2013	等於 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.	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 1528-1543	例水波 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.	Merge.kif 5369-5374	RealNumber 是 List 的 average ListITEM 在列表中 ListITEM and List 例 ListITEM and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	相反的屬性 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2950-2955	不相交分解 Class and @ROW Class 在列表中 Class and 名單 @ROW 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2957-2966	不相交分解 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 574-578	不相交分解 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4854-4859	等於最大公約數 @ROW and Integer 在列表中 Entity and 名單 @ROW 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4939-4944	等於最不常見的倍數 @ROW and Integer 在列表中 Entity and 名單 @ROW 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1681-1688	等於 RealNumber and MaxValueFn List RealNumber 在列表中 RealNumber and List 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 509-517	@ROW 是所有的 Attribute 的 attributes Entity 例 Entity and Attribute Entity 在列表中 Entity and 名單 @ROW 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2940-2948	徹底分解 Class and @ROW Entity 例 Entity and Class Class 在列表中 Class and 名單 @ROW 例 Entity and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-562	徹底分解 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Class

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: