Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pajamas(pajamas) |
| appearance as argument number 1 |
|
| (subclass Pajamas Clothing) | Mid-level-ontology.kif 6416-6416 | Pajamas is a subclass of clothing |
| (documentation Pajamas EnglishLanguage "Pajamas are loose-fitting Clothing worn for &Sleeping or StayingStill (lounging). There are a body top and a bottom. The bottom is usually in the form of trousers.") | Mid-level-ontology.kif 6417-6418 | Pajamas is a subclass of clothing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PJ Pajamas) (hasPurpose ?PJ (exists (?A ?REST) (and (instance ?A Human) (agent ?REST ?A) (holdsDuring ?REST (wears ?A ?PJ)) (or (instance ?REST Sleeping) (instance ?REST StayingStill)))))) |
Mid-level-ontology.kif 6443-6454 | If X is an instance of pajamas, then X has the purpose there exist Y, Z such that Y is an instance of human, Y is an agent of Z, Y wears X holds during Z, and Z is an instance of sleeping or Z is an instance of staying still |
| (=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 6456-6463 | If X is an instance of pajamas, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y is an instance of shirt, and Z is an instance of trousers |
|