Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Stimulant

 Sigma KEE - Stimulant
Stimulant(刺激物)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9360-9360 不相交的 刺激物 and 降凝劑
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 刺激物 and 液體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9359-9359 子類 刺激物 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 21674-21674 子類 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 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


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