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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Peninsula

 Sigma KEE - Peninsula
Peninsula(半島)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5795-5798
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1212-1212
No TPTP formula. May not be expressible in strict first order. Geography.kif 5793-5793 子類 半島 and 土地形式

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 819-819 例 朝鮮半島 and 半島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45030-45030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45029-45029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45028-45028

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5800-5805


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