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

Formal Language: 



KB Term:  Term intersection
English Word: 

  oppositeDirection

 Sigma KEE - oppositeDirection
oppositeDirection

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18129-18131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18126-18126 相反的方向 的 1 数量 是 位置属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18127-18127 相反的方向 的 2 数量 是 位置属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18123-18123 相反的方向 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18125-18125 相反的方向 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18124-18124 相反的方向 是 对称关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1847-1847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1846-1846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1845-1845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42324-42324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42323-42323
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42322-42322

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 194-199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18136-18141
No TPTP formula. May not be expressible in strict first order. Weather.kif 188-192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18143-18145

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18184

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18134-18134 西方 是 东 的 opposite 方向
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 南 是 北 的 opposite 方向
No TPTP formula. May not be expressible in strict first order. Geography.kif 3671-3671 西南 是 东北 的 opposite 方向
No TPTP formula. May not be expressible in strict first order. Geography.kif 3683-3683 东南 是 西北 的 opposite 方向
No TPTP formula. May not be expressible in strict first order. Geography.kif 5460-5460 下游 是 上游 的 opposite 方向


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