TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3526-3527
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 22-22
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15202-15202
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 45-45
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 21-21	initialPart os and primate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15201-15201	Os est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	Os est une sous-classe de os

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1221-1221	intialPart BoneMarrow and os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 685-685	ArmBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	Os est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1026-1026	Coccyx est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1099-1099	FootBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 52-52	HeadBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11510-11510	Horn est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11521-11521	Ivory est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1032-1032	LegBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1000-1000	PelvicBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1283-1283	Phalanx est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11231-11231	RibBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1017-1017	Sacrum est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 213-213	ShoulderGirdleBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 246-246	ThoraxBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 202-202	ThroatBone est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11470-11470	Tooth est une sous-classe de os
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1026-1026
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 19-19
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1264-1264
No TPTP formula. May not be expressible in strict first order.	french_format.kif 704-704
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 235-235
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 238-238
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2387-2387

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.	Mid-level-ontology.kif 11682-11689	Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15203-15205	Objet corpusculaire est une instance de os BoneTissue est fait de objet corpusculaire

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processus est une instance de Amputating entit� est un patient de processus objet est une instance de Limb objet objet objet est une partie de objet objet est une partie de objet objet est une instance de os objet est une partie de entit� pendant immediatement avant temps d'existence de processus objet est une partie de entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6128-6137	BoneFracture est un attribut de objet pendant interval temporel processus objet processus est une instance de separer objet est un patient de processus objet est une instance de os objet est une partie de objet temps d'existence de processus rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6144-6154	OpenFracture est un attribut de objet pendant position temporel objet objet objet est une instance de Skin objet est une partie de objet objet est une instance de os objet est une partie de objet objet traverse objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11544-11549	Processus est une instance de Ossification entit� entit� est une instance de os entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11483-11485	Collection est une instance de Skull memberType collection and os
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9449-9455	Objet est une instance de Tendon objet objet objet est une instance de muscle objet est une instance de os objet relie objet et objet

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: