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 13663-13670
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13662-13662	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 7490-7490	Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8273-8273	Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8277-8277	Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1279-1279	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.	WMD.kif 441-441	Chemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4153-4153	Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8105-8105	Depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 508-508	Dimercaprol is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13823-13823	Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8088-8088	Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13672-13672	Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8110-8110	Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4199-4199	Pyrethrum is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1771-1771	Pyridostigmine bromide is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7468-7468	Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8099-8099	Stimulant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 160-160	Toxin is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1004-1004
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1225-1225

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1469-1469	The number 1 argument of side effect is an instance of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 905-905	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 924-924	The number 2 argument of disease treatment 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 818-835	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 7505-7512	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.	WMD.kif 1031-1041	If an entity is an instance of vaccinatable disease, then there exists another entity such that the other entity is an instance of biologically active substance and if a process is an instance of putting and the process ends up at a third entity and the third entity is an instance of human, then the entity is not an attribute of the third entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10693-10701	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 9888-9893	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: