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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Glacier
Glacier(glacier)
more pictures...
Alpine_glacier, Alpine_type_of_glacier, Great_Mendenhall_Glacier, Mendenhall_Glacier, Piedmont_glacier, Piedmont_type_of_glacier, continental_glacier, glacier, icefall, neve, polar_glacier

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6000-6002
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2583-2583
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2584-2584
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1122-1122
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 634-634
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 631-631
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 630-630
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 633-633
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 632-632
No TPTP formula. May not be expressible in strict first order. Geography.kif 5998-5998 Glacier is a subclass of land form

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26100-26100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26099-26099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26098-26098

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6004-6010

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4732-4740


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