Trousers![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Trousers EnglishLanguage "A piece of Clothing that covers each Leg of a person separately.") | Mid-level-ontology.kif 6102-6103 | |
(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 6104-6104 | |
(subclass Trousers Clothing) | Mid-level-ontology.kif 6101-6101 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Trousers "长裤") | domainEnglishFormat.kif 59266-59266 | |
(termFormat ChineseTraditionalLanguage Trousers "長褲") | domainEnglishFormat.kif 59265-59265 | |
(termFormat EnglishLanguage Trousers "trousers") | domainEnglishFormat.kif 59264-59264 |
antecedent |
![]() |
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 6106-6114 |
consequent |
![]() |
(=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 6274-6281 |
![]() |
![]() |