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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalAttribute
InternalAttribute(内在属性)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1721-1722
No TPTP formula. May not be expressible in strict first order. Merge.kif 1806-1808
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 328-329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11238-11238
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11237-11237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11242-11242
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11241-11241
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11240-11240
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10072-10072
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11244-11244
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11243-11243
No TPTP formula. May not be expressible in strict first order. Merge.kif 1804-1804 内在属性 是 属性 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 2799-2799 AcidicPH 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 699-699 不可知 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 717-717 无神论者 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19626-19626 化学平衡 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 737-737 自然神论者 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29437-29437 DeviceDamaged 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29412-29412 DeviceNormal 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17589-17589 流体 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21606-21606 不混溶 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21595-21595 混溶的 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 724-724 非教派个人 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17742-17742 易弯的 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17755-17755 硬性 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 363-363 Vacuum 是 内在属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1702-1702 属性 详尽无遗地 partition 成 内在属性 和 关联属性
No TPTP formula. May not be expressible in strict first order. People.kif 674-674 BeliefGroupMemberFn 的 range 是 内在属性 的实例
No TPTP formula. May not be expressible in strict first order. engineering.kif 229-229 Algebro微分属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 725-725 自主性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 711-711 反弹性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2600-2600 生物多样性属 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 18023-18023 生物属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19664-19664 易碎性属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 715-715 无刷 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1860-1860 设备状态属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 209-209 方程属性 是 内在属性 的 subclass

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