RelationalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1725-1726
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1817-1819
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 332-334
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1815-1815	关联属性是属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 15-15	关联属性是 Tourniquet 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14107-14107	ActiveAgreement 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15226-15226	AdjoiningRoom 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1174-1174	AllWheelDrive 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30208-30208	Alone 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2584-2584	BadAirQuality 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30163-30163	Bare 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30117-30117	Barefoot 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 754-754	失去亲人的父亲是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 768-768	失去亲人的母亲是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14376-14376	Blank 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1700-1700	Breakfast 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1844-1844	Brunch 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30146-30146	Clothed 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30300-30300	Cloudy 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29453-29453	CoinOperated 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29490-29490	Collectible 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27144-27144	CommunalAttribute 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1719-1719	电脑用户是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1620-1620	空容器是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1637-1637	容器满了是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30646-30646	Dieting 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1788-1788	Dinner 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27108-27108	Domestic 是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1877-1877	EKGAbnormal 是关联属性的 instance

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.	Music.kif 295-295	albumType 的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2436-2436	与地位相关联的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 764-764	colocatedAgent 的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1552-1552	includedMeal 的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 628-628	orgStaff 的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 461-461	roomAttribute 的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 261-261	someRoomsAttribute 的 2 数量是关联属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	属性详尽无遗地 partition 成内在属性和关联属性

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: