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	Orgao e' uma sub-classe de Parte do Corpo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11271-11271	Bladder e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12829-12829	Breast e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12140-12140	Ear e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12106-12106	Eye e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12178-12178	EyeIris e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9522-9522	Flower e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11979-11979	Gallbladder e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15120-15120	Glandula e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11445-11445	NervousSystem e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12189-12189	Nose e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12007-12007	Pancreas e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9601-9601	PlantAreole e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9469-9469	PlantLeaf e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9501-9501	PlantRoot e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9577-9577	PlantSpinoseStructure e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9534-9534	PlantStem e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12069-12069	Rectum e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11052-11052	Retina e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10938-10938	SpinalColumn e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10952-10952	SpinalCord e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11285-11285	Spleen e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12024-12024	Stomach e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11830-11830	VitalOrgan e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 785-785	VocalCords e' uma sub-classe de Orgao
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

Fisico e' uma instancia de Orgao
Formula Fisico tem por fim Formula

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9396-9402	Fisico e' uma instancia de Lesion Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Orgao Fisico e' situado em Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	Processo e' uma instancia de OrganTransplant Entidade Objeto and Transferencia Entidade e' uma instancia de Animal Objeto e' uma instancia de Orgao Transferencia e' uma instancia de Colocar Transferencia e' um sub-processo de Processo objectTransferred Transferencia and Objeto Transferencia termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4634-4640	Entidade e' uma instancia de OrganTransplant Agente Cognitivo Fisico Agente Cognitivo e' uma instancia de Animal Fisico e' uma instancia de Orgao Agente Cognitivo tem necessidade de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24034-24039	Processo e' uma instancia de Organification Entidade Entidade e' uma instancia de Orgao Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10175-10182	Processo e' uma instancia de Processo de Orgao or Tecido Objeto eventLocated Processo and Objeto Objeto e' uma instancia de Orgao Objeto e' uma instancia de Tecido

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: