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


KB Term:  Term intersection
English Word: 

  Pill

 Sigma KEE - Pill
Pillbolus, 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 10571-10572
(roomTempState Pill Solid) Mid-level-ontology.kif 33568-33568 roomTempState Pill and Solid
(subclass Pill Medicine) Mid-level-ontology.kif 10570-10570 Pill is a subclass of Medicine

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


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

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


(=>
    (instance ?P Pill)
    (attribute ?P Solid))		 Mid-level-ontology.kif 10575-10577
(=>
    (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 10579-10587


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