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 14694-14701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14693-14693	Substance biologique active est une sous-classe de substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10100-10100	AdenosineTriphosphate est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8643-8643	Alkaloid est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9827-9827	Antacid est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9666-9666	Antibiotic est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9689-9689	Antidepressant est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10047-10047	Antidiuretic est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9796-9796	Antigen est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9812-9812	Antihistamine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9677-9677	Antiparasitic est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1328-1328	Atropine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 80-80	BiochemicalAgent est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1317-1317	CSGas est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4291-4291	Carnitine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 446-446	ChemicalAgent est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4792-4792	ControlledSubstance est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9337-9337	Depressant est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 513-513	Dimercaprol est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9995-9995	Diuretic est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6193-6193	Fentanyl est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14857-14857	Hormone est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9234-9234	Medicine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9759-9759	MoodStabilizer est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6170-6170	Morphine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14703-14703	Nutriment est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9342-9342	Opium est une sous-classe de substance biologique active

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	Le nombre 2 argument de biochemicalAgentAntidote est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	Le nombre 2 argument de diseaseMedicine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1557-1557	Le nombre 1 argument de pathologicSideEffect est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9932-9932	Le nombre 2 argument de pathologyTreatment est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1539-1539	Le nombre 1 argument de sideEffect est une sous-classe de substance biologique active

antecedent

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

WMD.kif 180-185

Processus est une instance de endommager objet est un instrument pour processus objet est une instance de substance biologique active
objet est une instance de Toxin

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	Nombre r�el McgPerKg(s) est PerFn mesure de masse and mesure de masse mesure de masse est nombre r�el un millioni�me de Gram(s) mesure de masse est nombre r�el 1 millier Grams(s) processus objet en une partie and objet en une partie processus est une instance de ing�rer objet en une partie est une instance de substance biologique active objet en une partie est une instance de organisme objet en une partie est un patient de processus processus est un agent de objet en une partie weight objet en une partie and mesure de masse weight objet en une partie and mesure de masse
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8659-8666	Drugged est un attribut de entit� pendant position temporel entit� entit� est une instance de substance biologique active entit� est une partie de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11460-11468	Processus est une instance de Injecting objet entit� objet est un patient de processus objet est une instance de substance biologique active Liquid est un attribut de objet processus aboutit � entit� entit� est une instance de animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10494-10499	Processus est une instance de empoisoner objet objet est une instance de substance biologique active objet est un instrument pour processus

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: