Pajamas
|
|
appearance as argument number 1 |
(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 usualy in the form of trousers.") | Mid-level-ontology.kif 5315-5316 | |
(subclass Pajamas Clothing) | Mid-level-ontology.kif 5314-5314 | Pajamas ist eine teilkategorie von Clothing |
appearance as argument number 2 |
(termFormat ChineseLanguage Pajamas "睡衣") | domainEnglishFormat.kif 64326-64326 | |
(termFormat ChineseTraditionalLanguage Pajamas "睡衣") | domainEnglishFormat.kif 64327-64327 | |
(termFormat EnglishLanguage Pajamas "pajamas") | domainEnglishFormat.kif 64325-64325 |
antecedent |
(=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5331-5338 |
|
(=> (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 5318-5329 |
|