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 11831-11834
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11830-11830	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 11846-11846	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 11335-11335	Heart is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11266-11266	Kidney is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11416-11416	Liver is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11186-11186	Lung is a subclass of vital organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11835-11835

antecedent

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

Mid-level-ontology.kif 11837-11844

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