TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9235-9236
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 9234-9234	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 12415-12415	AntiInflammatory e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1253-1253	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 9710-9710	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 9245-9245	Pill e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9882-9882	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 12261-12261	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 9639-9639

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 9277-9287	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 9238-9243	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 10274-10280	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 7804-7811	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 9270-9275	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 12447-12456	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: