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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Adderall

Sigma KEE - Adderall
Adderall

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4747-4760
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4762-4762 ingredient Adderall and Amphetamine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4744-4744 Adderall e' uma sub-classe de Medicine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4745-4745 Adderall e' uma sub-classe de Mistura

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4765-4765 diseaseMedicine ADHD, Adderall and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4766-4766 diseaseMedicine Narcolepsy, Adderall and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4763-4763
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4764-4764


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