TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9236-9237
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 9235-9235	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 12416-12416	AntiInflammatory e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1254-1254	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 9711-9711	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 9246-9246	Pill e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9883-9883	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 12262-12262	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 9640-9640

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 9278-9288	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 9239-9244	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 10252-10258	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 7805-7812	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 9271-9276	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 12448-12457	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 Objeto termina em 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: