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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pollen

 Sigma KEE - Pollen
Pollen(花粉)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3505-3506
No TPTP formula. May not be expressible in strict first order. Merge.kif 15096-15098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1926-1926
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2317-2317
No TPTP formula. May not be expressible in strict first order. Merge.kif 15095-15095 花粉 是 植物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15094-15094 花粉 是 繁殖体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46545-46545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46544-46544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46543-46543


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