|
|
   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 5321-5322 | |
| (subclass Pajamas Clothing) | Mid-level-ontology.kif 5320-5320 | Pajamas est une sous-classe de v�tement |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pajamas "睡衣") | domainEnglishFormat.kif 64324-64324 | |
| (termFormat ChineseTraditionalLanguage Pajamas "睡衣") | domainEnglishFormat.kif 64325-64325 | |
| (termFormat EnglishLanguage Pajamas "pajamas") | domainEnglishFormat.kif 64323-64323 |
| antecedent |
|
|
| (=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5337-5344 | |
| (=> (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 5324-5335 |
|
|
|