BiologicallyActiveSubstance - Sigma Knowledge base Browser

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 14742-14749
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14741-14741	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 10925-10925	ATP is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9344-9344	Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10652-10652	Antacid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10491-10491	Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10514-10514	Anti_depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10872-10872	Antidiuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10621-10621	Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10637-10637	Antihistamine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10502-10502	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 1317-1317	CS gas is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4279-4279	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 5007-5007	Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10162-10162	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 10820-10820	Diuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6176-6176	Sublimaze is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14905-14905	Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10059-10059	Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10584-10584	Mood stabilizer is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6156-6156	Morphine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14751-14751	Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10167-10167	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 10757-10757	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 9360-9367	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 11509-11517	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 10531-10536	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 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

KB Term:			Term intersection

English Word: