TreeView Knowledge Base Browser - BiologicallyActiveSubstance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3443-3446
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14810-14817
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14809-14809	Biologically active substance is a subclass of substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11430-11430	ATP is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9850-9850	Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11157-11157	Antacid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10996-10996	Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11019-11019	Anti-depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11377-11377	Antidiuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11126-11126	Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11142-11142	Antihistamine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11007-11007	Anti-parasitic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1328-1328	Atropine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 80-80	Biochemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1474-1474	CS gas is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4298-4298	Carnitine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 446-446	Chemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5132-5132	Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10667-10667	Depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 513-513	Dimercaprol is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11325-11325	Diuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6207-6207	Sublimaze is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14973-14973	Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10564-10564	Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11089-11089	Mood stabilizer is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6187-6187	Morphine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14819-14819	Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10672	Opium is a subclass of biologically active substance

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.	WMD.kif 914-914	The number 2 argument of biochemical agent antidote is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	The number 2 argument of disease treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1557-1557	The number 1 argument of pathologic side effect is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11262-11262	The number 2 argument of pathology treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1539-1539	The number 1 argument of side effect is a subclass of biologically active substance

antecedent

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

WMD.kif 180-185

If a process is an instance of damaging and an object is an instrument for the process and the object is an instance of biologically active substance,
then the object is an instance of toxin

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9866-9873	If drugged is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of biologically active substance and the other entity is a part of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11573-11581	If a process is an instance of injecting, then there exist an object and an entity such that the object is a patient of the process and the object is an instance of biologically active substance and liquid is an attribute of the object and the process ends up at the entity and the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10595-10600	If a process is an instance of poisoning, then there exists an object such that the object is an instance of biologically active substance and the object is an instrument for the process

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: