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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - North
North(north)
N, boreal, circumboreal, compass_north, due_north, magnetic_north, north, north-central, north_side, northbound, northerly, northern, northernmost, northernness, northmost, northward, northwards, septrional, upstate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17012-17012 North is the opposite of 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 is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 South is an opposite direction of north

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 Caribbean region is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 Europe is north to africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 Middle america is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 North america is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 Scotland is north to England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland is north to Wales

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17018-17020 An object is north to another object if and only if the other object is south to the object
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 An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
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 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