| ClothingSuit(clothing suit) | | business_suit, double-breasted_suit, lounge_suit, pants_suit, pantsuit, pinstripe, single-breasted_suit, suit, suit_of_clothes, three-piece_suit, two-piece, two-piece_suit, zoot_suit |
| 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 5297-5298 | |
| (subclass ClothingSuit Collection) | Mid-level-ontology.kif 5296-5296 | Clothing suit is a subclass of collection |
| appearance as argument number 2 |
|
|
| (subclass IhramClothing ClothingSuit) | ArabicCulture.kif 150-150 | Ihram clothing is a subclass of clothing suit |
| (termFormat ChineseLanguage ClothingSuit "服装套装") | domainEnglishFormat.kif 15298-15298 | Ihram clothing is a subclass of clothing suit |
| (termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") | domainEnglishFormat.kif 15297-15297 | Ihram clothing is a subclass of clothing suit |
| (termFormat EnglishLanguage ClothingSuit "clothing suit") | domainEnglishFormat.kif 15296-15296 | Ihram clothing is a subclass of clothing suit |
| 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 5300-5308 |
|
|
|
|