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 is a subclass of biologically active substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3605-3605	Adalimumab is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4744-4744	Mydayis is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6392-6392	Painkiller is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1021-1021	Anesthesia is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12415-12415	Anti-inflammatory is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1253-1253	Anti viral medicine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4835-4835	Blood thinner is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9710-9710	Anti-psychotic is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3312-3312	Anti-seizure is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4669-4669	Beta blocker is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4349-4349	Crisaborole is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4705-4705	Desloratadine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4595-4595	Immunosuppressant is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4883-4883	Ivabradine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3349-3349	Lamictal is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3966-3966	Lisdexamfetamine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6194-6194	Morphine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4956-4956	Nizatidine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5076-5076	Ondansetron is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9245-9245	Pill is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9882-9882	PPI is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3245-3245	Montelukast is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3899-3899	Sulfasalazine is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12261-12261	Thyroid stimulating hormone is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1041-1041	Tranexamic acid is a subclass of 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

The number 1 argument of medicine is a subclass of medicine

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9277-9287	If an entity is an instance of prescription and an object is an instance of medicine and the entity includes a reference to the object, then there exist the entityHARM and a transfer such that the transfer is an instance of selling and the object transferred in the transfer is the object and the entityHARM is an agent of the transfer and pharmacist is an attribute of the transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9238-9243	If an object is an instance of medicine, then there exists a process such that the process is an instance of therapeutic process and the object is a resource for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10274-10280	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7804-7811	If an agent is an instance of drug store, then there exist a process and an entity such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3089-3096	If a physical is an instance of drug candidate, then there exists an agent such that the agent is an instance of organization and the physical has the purpose the physical is an instance of medicine for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9270-9275	If an entity is an instance of prescription, then there exists another entity such that the other entity is an instance of medicine and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12447-12456	If a transfer is an instance of topical application, then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the object ends up at the third object

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: