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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ratchet

 Sigma KEE - Hemisphere
Hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3463-3466
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1802-1802
No TPTP formula. May not be expressible in strict first order. Geography.kif 3462-3462 Hemisphere est une sous-classe de secteur g�ographique

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3480-3480 EasternHemisphere est une instance de Hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3472-3472 NorthernHemisphere est une instance de Hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3476-3476 SouthernHemisphere est une instance de Hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3484-3484 WesternHemisphere est une instance de Hemisphere
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27915-27915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27914-27914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27913-27913

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3488-3494 Entit� est une instance de Hemisphere entit� est NorthernHemisphere entit� est SouthernHemisphere entit� est EasternHemisphere entit� est WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3468-3470


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