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

Formal Language: 



KB Term:  Term intersection
English Word: 

  North

 Sigma KEE - North
North

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17012-17012 North e' &o oposto de South
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3804-3804
No TPTP formula. May not be expressible in strict first order. Merge.kif 17013-17013
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1870-1870
No TPTP formula. May not be expressible in strict first order. Merge.kif 17011-17011 North e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 oppositeDirection North and South

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40947-40947
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40946-40946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40945-40945

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 289-289 CaribbeanRegion e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 Europe e' North em relacao a Africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 MiddleAmerica e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 NorthAmerica e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 Scotland e' North em relacao a England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland e' North em relacao a Wales

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17018-17020 Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 433-440

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3731-3733 courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto
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
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 Objeto e' Northwest em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' West em relacao a Objeto
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. Weather.kif 627-646
No TPTP formula. May not be expressible in strict first order. Geography.kif 421-425


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