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 14672-14679
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14671-14671	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 10101-10101	AdenosineTriphosphate est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8644-8644	Alkaloid est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9828-9828	Antacid est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9667-9667	Antibiotic est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9690-9690	Antidepressant est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10048-10048	Antidiuretic est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9797-9797	Antigen est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9813-9813	Antihistamine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9678-9678	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 9338-9338	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 9996-9996	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 14835-14835	Hormone est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9235-9235	Medicine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9760-9760	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 14681-14681	Nutriment est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9343-9343	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 9933-9933	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 8660-8667	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 11438-11446	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 10472-10477	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: