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 9333-9333	不相交的刺激物 and 降凝劑
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9334-9336
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 31657-31657	roomTempState 刺激物 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9332-9332	子類刺激物 and BiologicallyActiveSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4783-4783	子類 Amphetamine and 刺激物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21647-21647	子類 Caffeine and 刺激物
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3967-3967	子類 Lisdexamfetamine and 刺激物
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2990-2990	子類 Pseudoephedrine and 刺激物
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 107-107	子類興奮劑 and 刺激物
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3263-3263	子類 Vyvanse and 刺激物
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55362-55362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55361-55361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55360-55360