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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(documentation Pill EnglishLanguage "A Medicine in Solid form, intended to be taken orally.") Mid-level-ontology.kif 10143-10144
(roomTempState Pill Solid) Mid-level-ontology.kif 32760-32760 roomTempState pill and solid
(subclass Pill Medicine) Mid-level-ontology.kif 10142-10142 Pill is a subclass of medicine

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


(termFormat EnglishLanguage Pill "pill") Mid-level-ontology.kif 10145-10145

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


(=>
    (instance ?P Pill)
    (attribute ?P Solid))
Mid-level-ontology.kif 10147-10149
(=>
    (instance ?P Pill)
    (hasPurpose ?P
        (exists (?A ?I)
            (and
                (instance ?A Animal)
                (instance ?I Ingesting)
                (experiencer ?I ?A)
                (objectTransferred ?I ?P)))))
Mid-level-ontology.kif 10151-10159


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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