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

Formal Language: 



KB Term:  Term intersection
English Word: 

  South

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 e' uma instancia de Atributo Directional

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17083-17083 North e' &o oposto 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 e' South em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 MiddleAmerica e' South em relacao a NorthAmerica

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 Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 17089-17091 Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3664-3668 Objeto e' Southeast em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' East em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3676-3680 Objeto e' Southwest em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' West em relacao a Objeto
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 e' situado em 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 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