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 est l'oppos� 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 est une instance de attribut directionnel
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 est North � SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 Europe est North � Africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 MiddleAmerica est North � SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 NorthAmerica est North � SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 Scotland est North � England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland est North � Wales

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17018-17020 Objet est North � objet objet est South � objet
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 objet, objet and 0.0 AngularDegree(s) objet est North � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 Objet est Northeast � objet objet est North � objet objet est East � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 Objet est Northwest � objet objet est North � objet objet est West � objet
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