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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organelle

Sigma KEE - Organelle
Organelle(organelle)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10119-10130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10118-10118 Organelle is a subclass of corpuscular object

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10140-10140 Mitochondria is a subclass of organelle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10131-10131

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10133-10138


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