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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tundra

 Sigma KEE - Tundra
Tundra(苔原)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6731-6733
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4837-4837
No TPTP formula. May not be expressible in strict first order. Geography.kif 6727-6727 子類 苔原 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6728-6728 子類 苔原 and 樸素

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59462-59462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59461-59461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59460-59460

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6735-6737
No TPTP formula. May not be expressible in strict first order. Geography.kif 6739-6741


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