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 15157-15159
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15156-15156	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 11298-11298	Bladder e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12856-12856	Breast e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12167-12167	Ear e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12133-12133	Eye e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12205-12205	EyeIris e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9549-9549	Flower e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12006-12006	Gallbladder e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15166	Glandula e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11472-11472	NervousSystem e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12216-12216	Nose e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12034	Pancreas e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9628-9628	PlantAreole e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9496-9496	PlantLeaf e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9528-9528	PlantRoot e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9604-9604	PlantSpinoseStructure e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9561	PlantStem e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12096-12096	Rectum e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11079-11079	Retina e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10965-10965	SpinalColumn e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10979-10979	SpinalCord e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11312-11312	Spleen e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12051-12051	Stomach e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11857-11857	VitalOrgan e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 778-778	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 15161-15164

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 9423-9429	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 24091-24096	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 10211-10218	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 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: