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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Northeast

Sigma KEE - Northeast
Northeast

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3650-3651
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11516-11516
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10153-10153
No TPTP formula. May not be expressible in strict first order. Geography.kif 3648-3648 Northeast e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Geography.kif 3671-3671 oppositeDirection Northeast and Southwest

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41009-41009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41008-41008
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41007-41007

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 280-280 Africa e' Northeast em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 283-283 Europe e' Northeast em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 286-286 MiddleEastRegion e' Northeast em relacao a Africa

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 Objeto e' Northeast em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' East em relacao a Objeto

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto


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