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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalAttribute

Sigma KEE - DirectionalAttribute
DirectionalAttribute(方向属性)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3802-3803
No TPTP formula. May not be expressible in strict first order. Merge.kif 17001-17002
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10864-10864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9984-9984
No TPTP formula. May not be expressible in strict first order. Merge.kif 17000-17000 方向属性位置属性subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17022-17022 方向属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17011-17011 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3648-3648 东北方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3682-3682 西北方向属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17015-17015 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3659-3659 东南方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3670-3670 西南方向属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17025-17025 西方方向属性instance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1237-1237
No TPTP formula. May not be expressible in strict first order. english_format.kif 1695-1695
No TPTP formula. May not be expressible in strict first order. french_format.kif 915-915
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 448-448
No TPTP formula. May not be expressible in strict first order. terms-it.txt 451-451
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2599-2599
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 453-453
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 487-487
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 936-936
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 452-452

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1277-1277 AccelerationFn 的 4 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 477-477 定向分区域 的 1 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 406-406 纬度 的 1 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 444-444 经度 的 1 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6671-6671 速度函数 的 4 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16955-16955 面向 的 2 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 253-253 高空风速率 的 3 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 204-204 低空风速 的 3 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3770-3770 磁变化 的 3 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 230-230 中等海拔风速率 的 3 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1688-1688 坡度梯度朝向 的 2 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 169-169 地面风向 的 2 数量 是 方向属性instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 106-106 地面风速率 的 3 数量 是 方向属性instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17004-17009
No TPTP formula. May not be expressible in strict first order. Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. Geography.kif 500-505

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3595-3615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18184
No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2264-2269
No TPTP formula. May not be expressible in strict first order. Merge.kif 11279-11290


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