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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Peninsula

 Sigma KEE - Peninsula
Peninsula(peninsula)
Alaska_Peninsula, Antarctic_Peninsula, Baja_California, Cape_York_Peninsula, Chukchi_Peninsula, Eyre_Peninsula, Labrador-Ungava_Peninsula, Labrador_Peninsula, Liaodong_Bandao, Liaodong_Peninsula, Lower_California, Lower_Peninsula, Palmer_Peninsula, Upper_Peninsula, neck, 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 Peninsula is a subclass of land form

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 819-819 Korean peninsula is an instance of peninsula
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