TreeView Knowledge Base Browser - VitalOrgan

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VitalOrgan

VitalOrgan(vital organ)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11858-11861
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11857-11857	Vital organ is a subclass of organ

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11873-11873	Brain is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 266-266	Gills is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11362-11362	Heart is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11293-11293	Kidney is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11443-11443	Liver is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11213-11213	Lung is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11862-11862

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11864-11871

If an object is an instance of vital organ and another object is an instance of animal and the object is not a part of the other object,
then living is not an attribute of the other object

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