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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - oppositeDirection
oppositeDirection

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18156-18158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18153-18153 Le nombre 1 argument de oppositeDirection est une instance de attribut positionnel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18154-18154 Le nombre 2 argument de oppositeDirection est une instance de attribut positionnel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18150 oppositeDirection est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18152-18152 oppositeDirection est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18151-18151 oppositeDirection est une instance de relation sym�trique

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 42326-42326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42325-42325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42324-42324

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 182-187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18163-18168
No TPTP formula. May not be expressible in strict first order. Weather.kif 176-180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18170-18172

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18161-18161 oppositeDirection East and West
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18160-18160 oppositeDirection North and South
No TPTP formula. May not be expressible in strict first order. Geography.kif 3671-3671 oppositeDirection Northeast and Southwest
No TPTP formula. May not be expressible in strict first order. Geography.kif 3683-3683 oppositeDirection Northwest and Southeast
No TPTP formula. May not be expressible in strict first order. Geography.kif 5460-5460 oppositeDirection Upstream and Downstream


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