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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pill

 Sigma KEE - Pill
Pill(pill)bolus, capsule, dragee, lozenge, pill, sleeping_capsule, sleeping_draught, sleeping_pill, sleeping_tablet, tab, tablet

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9246-9247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31633-31633 roomTempState pill and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9245-9245 Pill is a subclass of medicine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9248-9248

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9250-9252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9254-9262


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