TreeView 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 15111-15113
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15110-15110	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 11271-11271	Bladder est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12829-12829	Breast est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12140-12140	Ear est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12106-12106	Eye est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12178-12178	EyeIris est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9522-9522	Flower est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11979-11979	Gallbladder est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15120-15120	Glande est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11445-11445	NervousSystem est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12189-12189	Nose est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12007-12007	Pancreas est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9601-9601	PlantAreole est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9469-9469	PlantLeaf est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9501-9501	PlantRoot est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9577-9577	PlantSpinoseStructure est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9534-9534	PlantStem est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12069-12069	Rectum est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11052-11052	Retina est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10938-10938	SpinalColumn est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10952-10952	SpinalCord est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11285-11285	Spleen est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12024-12024	Stomach est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11830-11830	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 15115-15118

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 9396-9402	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 24034-24039	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 10175-10182	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 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

KB Term:			Term intersection

English Word: