| Trousers(trousers)
| | bathing_trunks, bell-bottoms, bellbottom_pants, bellbottom_trousers, blue_jean, breeches, chino, churidars, cords, corduroys, denim, flannel, gabardine, jean, jodhpur_breeches, jodhpurs, knee_breeches, knee_pants, knickerbockers, knickers, long_pants, long_trousers, overall, pajama, pant, pantaloon, pedal_pusher, plus_fours, pyjama, riding_breeches, salwar, shalwar, short_pants, shorts, slacks, stretch_pants, sweat_pants, sweatpants, swimming_trunks, toreador_pants, trews, trouser, trunks, tweed, white |
| appearance as argument number 1 |
|
|
| (documentation Trousers EnglishLanguage "A piece of Clothing that covers each Leg of a person separately.") | Mid-level-ontology.kif 5714-5715 | |
| (externalImage Trousers "http://articulatesoftware.com/SUMOpictures/clothes/ trousers.png") | pictureList.kif 799-799 | |
| (externalImage Trousers "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Jeans.jpg") | pictureList.kif 197-197 | |
| (subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5716-5716 | Trousers is a subclass of a covering for leg |
| (subclass Trousers Clothing) | Mid-level-ontology.kif 5713-5713 | Trousers is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Trousers "长裤") | domainEnglishFormat.kif 59295-59295 | |
| (termFormat ChineseTraditionalLanguage Trousers "長褲") | domainEnglishFormat.kif 59294-59294 | |
| (termFormat EnglishLanguage Trousers "trousers") | domainEnglishFormat.kif 59293-59293 |
| antecedent |
|
|
| (=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5718-5726 |
|
| consequent |
|
|
| (=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5886-5893 |
|
|
|
|