Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RelationalAttribute
RelationalAttribute(关联属性)

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 关联属性Tourniquetattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14108-14108 ActiveAgreement关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15227-15227 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 30220-30220 Alone关联属性instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2588-2588 BadAirQuality关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30175-30175 Bare关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30129-30129 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 14377-14377 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 30158-30158 Clothed关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30312-30312 Cloudy关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29465-29465 CoinOperated关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29502-29502 Collectible关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27156-27156 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 30658-30658 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 27120-27120 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