TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1710-1711
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1704-1705
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 313-314
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10458-10458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10451-10451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9895-9895
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10453-10453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10454-10454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10452-10452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10455-10455
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10456-10456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10459-10459
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10460-10460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10450-10450
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	劃分 Attribute, InternalAttribute and RelationalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1700-1700	子類 Attribute and Abstract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	relations-it.txt 29-29
No TPTP formula. May not be expressible in strict first order.	Food.kif 2801-2801	例 BasicPH and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 299-299	例側風 and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 305-305	例逆風 and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4705-4705	例公海 and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15059-15059	例鋪砌 and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 492-492	例 RepresentativeSample and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2678-2678	例 StandardAmbientTemperaturePressure and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 312-312	例尾風 and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15060-15060	例未鋪砌 and Attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 3531-3531	例 Vegan and Attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 3522-3522	例 Vegetarian and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 643-643	子類 AccountAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3100-3100	子類 AirQualityAQIAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1269-1269	子類氣候區 and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4400-4400	子類 ExperimentAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1804-1804	子類 InternalAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 293-293	子類 ListingAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1815-1815	子類 RelationalAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1630-1630	子類 TransactionAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 855-855
No TPTP formula. May not be expressible in strict first order.	english_format.kif 912-912
No TPTP formula. May not be expressible in strict first order.	french_format.kif 531-531
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 62-62

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 1670-1670	不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1778-1778	域 attr, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1761-1761	域延期, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1721-1721	域 attribute, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-457	域相反的屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 17-17	域 contraryAttributeWRT, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 18-18	域 contraryAttributeWRT, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 489-489	域詳盡的屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 751-751	域 greaterThanByQuality, 3 and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1405-1405	域按職業劃分的勞動力比例, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1387-1387	域按職業期間劃分的勞動力比例, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1733-1733	域方式, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1709-1709	域屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 682-682	域子屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 683-683	域子屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 314-314	域 subjectiveAttribute, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 704-704	域繼承屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 705-705	域繼承屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 730-730	域後繼屬性關閉, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 731-731	域後繼屬性關閉, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6219-6219	域植被類型模式, 3 and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 292-292	域風的相對位置, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 488-488	域子類詳盡的屬性, 1 and Attribute

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 43-52	例 Attribute and Attribute 例 Attribute and Attribute 子關係 BinaryPredicate and attribute ~{ Attribute 和 Attribute 是對於 BinaryPredicate 的 mutually exclusive } ~{ BinaryPredicate entity and Attribute } ~{ BinaryPredicate entity and Attribute }
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 109-119	AutonomousAgent offers 拍賣樣品在 Abstract 例 Abstract and Attribute 模態屬性 entity entity 例 entity and Selling attribute entity and Abstract 患者 entity and entity agent entity and AutonomousAgent and 可能性
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 152-157	AutonomousAgent offers 拍賣樣品在 Entity 在其間 TimeInterval 例 Entity and Attribute 持有期間 TimeInterval and AutonomousAgent offers 拍賣樣品在 Entity

consequent

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.	UXExperimentalTerms.kif 501-517	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗例 CognitiveAgent and CognitiveAgent agent 試驗 and CognitiveAgent entity_COLL 是 entity_COLL 的 sample 對於試驗 Attribute 例 Attribute and Attribute 屬性 entity_COLL and Attribute 在感興趣的範圍內 CognitiveAgent and Attribute 等於 Attribute and RepresentativeSample 屬性 entity_COLL and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	相反的屬性 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Attribute

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

Show without tree

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: