Stimulant - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9360-9360	Stimulant e' disjunto de Depressant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9361-9363
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6898-6898
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31689-31689	roomTempState Stimulant and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9359-9359	Stimulant e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4783-4783	Amphetamine e' uma sub-classe de Stimulant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21674-21674	Caffeine e' uma sub-classe de Stimulant
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3967-3967	Lisdexamfetamine e' uma sub-classe de Stimulant
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2990-2990	Pseudoephedrine e' uma sub-classe de Stimulant
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 107-107	StimulantDrug e' uma sub-classe de Stimulant
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3263-3263	Vyvanse e' uma sub-classe de Stimulant
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55364-55364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55363-55363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55362-55362