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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pill
Pill

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


(documentation Pill EnglishLanguage "A Medicine in Solid form, intended to be taken orally.") Mid-level-ontology.kif 9247-9248
(roomTempState Pill Solid) Mid-level-ontology.kif 31637-31637
(subclass Pill Medicine) Mid-level-ontology.kif 9246-9246

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


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

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


(=>
    (instance ?P Pill)
    (attribute ?P Solid))
Mid-level-ontology.kif 9251-9253
(=>
    (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 9255-9263


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