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 15133-15135
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15132-15132	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 11270-11270	Bladder e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12828-12828	Breast e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12139-12139	Ear e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12105-12105	Eye e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12177-12177	EyeIris e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9521-9521	Flower e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11978-11978	Gallbladder e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15142-15142	Glandula e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11444-11444	NervousSystem e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12188-12188	Nose e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12006-12006	Pancreas e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9600-9600	PlantAreole e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9468-9468	PlantLeaf e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9500-9500	PlantRoot e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9576-9576	PlantSpinoseStructure e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9533-9533	PlantStem e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12068-12068	Rectum e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11051-11051	Retina e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10937-10937	SpinalColumn e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10951	SpinalCord e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11284-11284	Spleen e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12023-12023	Stomach e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11829-11829	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 15137-15140

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 9395-9401	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 24033-24038	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 10197-10204	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: