medicine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - medicine

medicine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9641-9647
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9640-9640	The number 2 argument of medicine is an instance of disease or syndrome
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9638-9638	medicine is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9649-9649
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9648-9648

antecedent

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

Mid-level-ontology.kif 9651-9664

If a kind of medicine is medicine for a disease or syndrome,
then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1257-1264	If an entity is an instance of anti viral medicine and the entity is an instance of a kind of medicine, then there exists a disease or syndrome such that the disease or syndrome is an instance of viral disease and a kind of medicine is medicine for the disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9682-9687	If an entity is an instance of anti-parasitic, then there exist a disease or syndrome and the entityVM such that the disease or syndrome is an instance of parasitic disease and the entityVM is medicine for the disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9670-9675	If a kind of medicine is a subclass of antibiotic, then there exists a disease or syndrome such that the disease or syndrome is an instance of bacterial disease and a kind of medicine is medicine for the disease or syndrome

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6359-6359	Epinephrine is medicine for Analphylaxis
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9692-9692	Anti-depressant is medicine for depressed
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1269-1269	Veklury is medicine for Covid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3246-3246	Montelukast is medicine for asthma
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3310-3310	Lisdexamfetamine is medicine for attention deficit hyperactivity disorder

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