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

Formal Language: 



KB Term:  Term intersection
English Word: 

  South

Sigma KEE - South
South(south)
S, austral, due_south, in_the_south, meridional, south, south-central, south_side, southbound, southerly, southern, southernmost, southernness, southmost, southward, southwards, to_the_south

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3805-3805
No TPTP formula. May not be expressible in strict first order. Merge.kif 17016-17016
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1994-1994
No TPTP formula. May not be expressible in strict first order. Merge.kif 17015-17015 South is an instance of directional attribute

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


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. Mid-level-ontology.kif 18133-18133 South is an opposite direction of north
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54036-54036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54035-54035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54034-54034

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 Caribbean region is south to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 Middle america is south to north america

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


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 3739-3741 An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
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 3664-3668 An object is southeast to another object if and only if the object is south 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 3676-3680 An object is southwest to another object if and only if the object is south 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 292-296
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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 French southern and antarctic lands is located at the directional subregion of south and indian ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east


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