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 |
![]() |
![]() |