Medicine - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9263-9264
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4777-4777
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9262-9262	Medicine e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3605-3605	Adalimumab e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4744-4744	Adderall e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6392-6392	Analgesic e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1021-1021	Anesthesia e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12443-12443	AntiInflammatory e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1255-1255	AntiViralMedicine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4835-4835	Anticoagulant e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9738-9738	Antipsychotic e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3312-3312	Antiseizure e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4669-4669	BetaBlocker e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4349-4349	Crisaborole e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4705-4705	Desloratadine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4595-4595	Immunosuppressive e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4883-4883	Ivabradine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3349-3349	Lamotrigine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3966-3966	Lisdexamfetamine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6194-6194	Morphine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4956-4956	Nizatidine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5076-5076	Ondansetron e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9273-9273	Pill e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9910-9910	ProtonPumpInhibitor e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3245-3245	Singulair e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3899-3899	Sulfasalazine e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12289-12289	ThyroidStimulatingHormone e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1041-1041	TranexamicAcid e' uma sub-classe de Medicine

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 9667-9667

O argumento numero 1 de medicine e' uma sub-classe de Medicine

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9305-9315	Entidade e' uma instancia de Prescription Objeto e' uma instancia de Medicine Entidade inclui uma referencia a Objeto EntidadeHARM Transferencia Transferencia e' uma instancia de Vender objectTransferred Transferencia and Objeto Transferencia e' um agente de EntidadeHARM Pharmacist e' um atributo de Transferencia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9266-9271	Objeto e' uma instancia de Medicine Processo Processo e' uma instancia de Processo Terapeutico Objeto e' um recurso para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10288-10294	Processo e' uma instancia de Ingerir Objeto e' um recurso para Processo Objeto e' uma instancia de FoodForFn Organismo Objeto e' uma instancia de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7832-7839	AutonomousAgent e' uma instancia de DrugStore Processo Entidade Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3089-3096	Fisico e' uma instancia de DrugCandidate AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Fisico tem finalidade Fisico e' uma instancia de Medicine para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9298-9303	Entidade e' uma instancia de Prescription Entidade Entidade e' uma instancia de Medicine Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12475-12484	Transferencia e' uma instancia de TopicalApplication Objeto Objeto and Objeto Objeto e' uma instancia de Medicine Objeto e' uma instancia de Animal Objeto e' uma instancia de Skin Objeto e' uma &parte de Objeto objectTransferred Transferencia and Objeto Transferencia termina em Objeto

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: