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 17038-17038
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 17037-17037 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 17034-17034 North est l'oppos� de South
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18132-18132 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 est South � NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 MiddleAmerica est South � 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 objet, objet and 180.0 AngularDegree(s) objet est South � objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 17040-17042 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 623-642
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