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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - South
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 17087-17087
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 17086-17086 South est une instance de attribut directionnel

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


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. Mid-level-ontology.kif 18160-18160 oppositeDirection North and South
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54038-54038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54037-54037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54036-54036

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 CaribbeanRegion est SouthNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 MiddleAmerica est SouthNorthAmerica

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 courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South objet
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 3664-3668 Objet est Southeast objet objet est South objet objet est East objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3676-3680 Objet est Southwest objet objet est South objet objet est West objet
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 611-630
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 FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s)


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