| ClothingSuit | |
| appearance as argument number 1 |
|
|
| (documentation ClothingSuit EnglishLanguage "A Collection of instances of Clothing that are designed to be worn together.") | Mid-level-ontology.kif 6240-6241 | |
| (subclass ClothingSuit Collection) | Mid-level-ontology.kif 6239-6239 |
| appearance as argument number 2 |
|
|
| (subclass IhramClothing ClothingSuit) | ArabicCulture.kif 150-150 | |
| (termFormat ChineseLanguage ClothingSuit "服装套装") | domainEnglishFormat.kif 15291-15291 | |
| (termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") | domainEnglishFormat.kif 15290-15290 | |
| (termFormat EnglishLanguage ClothingSuit "clothing suit") | domainEnglishFormat.kif 15289-15289 |
| antecedent |
|
|
| (=> (and (instance ?SUIT ClothingSuit) (member ?ITEM1 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM1))) (forall (?ITEM2) (=> (member ?ITEM2 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM2))))) |
Mid-level-ontology.kif 6243-6251 |
|
|
|