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 15249-15251
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15248-15248	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 12620-12620	Bladder is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14178-14178	Breast is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13489-13489	Ear is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13455-13455	Eye is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13527-13527	Eye iris is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10869-10869	Flower is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13328-13328	Cholecyst is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15258-15258	Gland is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12794-12794	Nervous system is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13538-13538	Nose is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13356-13356	Pancreas is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10948-10948	Plant areole is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10816-10816	Plant leaf is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10848-10848	Plant root is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10924-10924	Plant spinose structure is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10881-10881	Plant stem is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13418-13418	Rectum is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12401-12401	Retina is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12287-12287	Spinal column is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12301-12301	Spinal cord is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12634-12634	Spleen is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13373-13373	Stomach is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13179-13179	Vital organ is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 778-778	Vocal cords is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1023-1023	Vocal cords is a subclass of organ

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 15253-15256

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 10743-10749	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 4649-4658	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 4641-4647	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 25699-25704	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 10300-10307	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: