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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17012-17012 North e' &o oposto de South
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 oppositeDirection North and South
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 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 17018-17020 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 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 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