Organ - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3519-3520
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15133-15135
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15132-15132	Organ is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11270-11270	Bladder is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12828-12828	Breast is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12139-12139	Ear is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12105-12105	Eye is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12177-12177	Eye iris is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9521-9521	Flower is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11978-11978	Cholecyst is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15142-15142	Gland is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11444-11444	Nervous system is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12188-12188	Nose is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12006-12006	Pancreas is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9600-9600	Plant areole is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9468-9468	Plant leaf is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9500-9500	Plant root is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9576-9576	Plant spinose structure is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9533-9533	Plant stem is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12068-12068	Rectum is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11051-11051	Retina is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10937-10937	Spinal column is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10951	Spinal cord is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11284-11284	Spleen is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12023-12023	Stomach is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11829-11829	Vital organ is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 785-785	Vocal cords is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1023-1023

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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

Merge.kif 15137-15140

If a physical is an instance of organ,
then there exists a formula such that the physical has the purpose the formula

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9395-9401	If a physical is an instance of lesion, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of organ and the physical is located at the self connected object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	If a process is an instance of transplant, then there exist an entity, an object and a transfer such that the entity is an instance of animal and the object is an instance of organ and the transfer is an instance of putting and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the transfer ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4634-4640	If an entity is an instance of transplant, then there exist a cognitive agent and a physical such that the cognitive agent is an instance of animal and the physical is an instance of organ and the cognitive agent needs the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24033-24038	If a process is an instance of organification, then there exists an entity such that the entity is an instance of organ and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	If a process is an instance of organ or tissue process, then there exists an object such that the process is located at the object and the object is an instance of organ or the object is an instance of tissue

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: