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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SparseVegetation

 Sigma KEE - SparseVegetation
SparseVegetation(稀疏的植被)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6252-6253
No TPTP formula. May not be expressible in strict first order. Geography.kif 6250-6250 例 稀疏的植被 and LandVegetationAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54470-54470
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54469-54469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54468-54468


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