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	Organe est une sous-classe de partie du corps

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11270-11270	Bladder est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12828-12828	Breast est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12139-12139	Ear est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12105-12105	Eye est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12177-12177	EyeIris est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9521-9521	Flower est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11978-11978	Gallbladder est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15142-15142	Glande est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11444-11444	NervousSystem est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12188-12188	Nose est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12006-12006	Pancreas est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9600-9600	PlantAreole est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9468-9468	PlantLeaf est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9500-9500	PlantRoot est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9576-9576	PlantSpinoseStructure est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9533-9533	PlantStem est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12068-12068	Rectum est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11051-11051	Retina est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10937-10937	SpinalColumn est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10951	SpinalCord est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11284-11284	Spleen est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12023-12023	Stomach est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11829-11829	VitalOrgan est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 785-785	VocalCords est une sous-classe de organe
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

Physique est une instance de organe
formule physique a pour but formule

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9395-9401	Physique est une instance de Lesion objet en une partie objet en une partie objet en une partie est une surface de objet en une partie objet en une partie est une instance de organe physique est situ� � objet en une partie
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	Processus est une instance de OrganTransplant entit� objet and transf�re entit� est une instance de animal objet est une instance de organe transf�re est une instance de mettre transf�re est un sous-processus de processus objectTransferred transf�re and objet transf�re aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4634-4640	Entit� est une instance de OrganTransplant agent cognitif physique agent cognitif est une instance de animal physique est une instance de organe agent cognitif a besoin de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24033-24038	Processus est une instance de Organification entit� entit� est une instance de organe entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	Processus est une instance de organ or tissueprocess objet eventLocated processus and objet objet est une instance de organe objet est une instance de tissu

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: