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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultipolePort

Sigma KEE - Protozoa
Protozoa

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6262-6264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6261-6261 Protozoa est une sous-classe de microorganisme

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47884-47884
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47883-47883
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47882-47882


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