| 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 4891-4892 | |
| (externalImage Trousers "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Jeans.jpg") | pictureList.kif 197-197 | |
| (externalImage Trousers "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ clothes/ trousers.png") | pictureList.kif 799-799 | |
| (subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 4893-4893 | |
| (subclass Trousers Clothing) | Mid-level-ontology.kif 4890-4890 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Trousers "长裤") | domainEnglishFormat.kif 59249-59249 | |
| (termFormat ChineseTraditionalLanguage Trousers "長褲") | domainEnglishFormat.kif 59248-59248 | |
| (termFormat EnglishLanguage Trousers "trousers") | domainEnglishFormat.kif 59247-59247 |
| antecedent |
|
|
| (=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 4895-4903 |
|
|
|