Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Pill
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Pill Medicine) | Mid-level-ontology.kif 10751-10751 | Pill is a subclass of medicine |
| (documentation Pill EnglishLanguage "A Medicine in Solid form, intended to be taken orally.") | Mid-level-ontology.kif 10752-10753 | Pill is a subclass of medicine |
| (roomTempState Pill Solid) | Mid-level-ontology.kif 34076-34076 | room temperature state pill and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pill "pill") | Mid-level-ontology.kif 10754-10754 |
| antecedent |
|
|
| (=> (instance ?P Pill) (attribute ?P Solid)) |
Mid-level-ontology.kif 10756-10758 | If X is an instance of pill, then solid is an attribute of X |
| (=> (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 10760-10768 | If X is an instance of pill, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is an instance of ingesting, Y experiences Z, and the object transferred in Z is X |
|