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 9465-9466
(roomTempState Pill Solid) Mid-level-ontology.kif 31902-31902 roomTempState pill and solid
(subclass Pill Medicine) Mid-level-ontology.kif 9464-9464 Pill is a subclass of medicine

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


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

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


(=>
    (instance ?P Pill)
    (attribute ?P Solid))
Mid-level-ontology.kif 9469-9471
(=>
    (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 9473-9481


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