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 Osso and Primata
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15201-15201	Osso e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	Osso e' uma sub-classe de Osso

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1221-1221	intialPart BoneMarrow and Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 685-685	ArmBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	Osso e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1026-1026	Coccyx e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1099-1099	FootBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 52-52	HeadBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11510-11510	Horn e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11521-11521	Ivory e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1032-1032	LegBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1000-1000	PelvicBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1283-1283	Phalanx e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11231-11231	RibBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1017-1017	Sacrum e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 213-213	ShoulderGirdleBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 246-246	ThoraxBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 202-202	ThroatBone e' uma sub-classe de Osso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11470-11470	Tooth e' uma sub-classe de Osso
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	Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15203-15205	Objeto Corpuscular e' uma instancia de Osso BoneTissue e' feito de Objeto Corpuscular

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processo e' uma instancia de Amputating Entidade e' um patient de Processo Objeto e' uma instancia de Limb Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Osso Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6128-6137	BoneFracture e' um atributo de Objeto vale durante Intervalo Temporal Processo Objeto Processo e' uma instancia de Separar Objeto e' um patient de Processo Objeto e' uma instancia de Osso Objeto e' uma &parte de Objeto tempo de existencia de Processo encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6144-6154	OpenFracture e' um atributo de Objeto vale durante Posicao Temporal Objeto Objeto Objeto e' uma instancia de Skin Objeto e' uma &parte de Objeto Objeto e' uma instancia de Osso Objeto e' uma &parte de Objeto Objeto traversa Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11544-11549	Processo e' uma instancia de Ossification Entidade Entidade e' uma instancia de Osso Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11483-11485	Colecao e' uma instancia de Skull memberType Colecao and Osso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9449-9455	Objeto e' uma instancia de Tendon Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma instancia de Osso Objeto conecta Objeto e Objeto

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: