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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - North
North

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17083-17083 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 17084-17084
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 17082-17082 North est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18160-18160 oppositeDirection North and South

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


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

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 17089-17091 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 611-630
No TPTP formula. May not be expressible in strict first order. Geography.kif 421-425


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