Attribute - Sigma 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 1697-1698
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 10456-10456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10449-10449
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9894-9894
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 10452-10452
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.	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 10457-10457
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 10448-10448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1695-1695	劃分 Attribute, InternalAttribute and RelationalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1693-1693	子類 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 287-287	例側風 and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6926-6926	例 DemandPressure and Attribute
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1962-1962	例 Dorsal and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6940-6940	例 EquilibriumEconomics and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 293-293	例逆風 and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4774-4774	例公海 and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16440-16440	例鋪砌 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.	Economy.kif 6975-6975	例 ServiceInEconomics and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2660-2660	例 StandardAmbientTemperaturePressure and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6910-6910	例 SupplyPressure and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 300-300	例尾風 and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16441-16441	例未鋪砌 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.	Anatomy.kif 1983-1983	例 Ventral and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11364-11364	例 Windy 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 3082-3082	子類 AirQualityAQIAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1263-1263	子類氣候區 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 1797-1797	子類 InternalAttribute and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 293-293	子類 ListingAttribute and Attribute

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 1663-1663	不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1771-1771	域 attr, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1754-1754	域延期, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1714-1714	域 attribute, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 450-450	域相反的屬性, 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 482-482	域詳盡的屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 744-744	域 greaterThanByQuality, 3 and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1530-1530	域按職業劃分的勞動力比例, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1512-1512	域按職業期間劃分的勞動力比例, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1726-1726	域方式, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	域屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 675-675	域子屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 676-676	域子屬性, 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 697-697	域繼承屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 698-698	域繼承屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 723-723	域後繼屬性關閉, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 724-724	域後繼屬性關閉, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6287-6287	域植被類型模式, 3 and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 280-280	域風的相對位置, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 481-481	域子類詳盡的屬性, 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 490-494	@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 457-461	相反的屬性 @ROW 在列表中 Entity and 名單 @ROW 例 Entity and Attribute

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: