| 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 4985-4986 | |
| (subclass ClothingSuit Collection) | Mid-level-ontology.kif 4984-4984 |
| appearance as argument number 2 |
|
|
| (subclass IhramClothing ClothingSuit) | ArabicCulture.kif 141-141 | |
| (termFormat ChineseLanguage ClothingSuit "服装套装") | domainEnglishFormat.kif 15285-15285 | |
| (termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") | domainEnglishFormat.kif 15284-15284 | |
| (termFormat EnglishLanguage ClothingSuit "clothing suit") | domainEnglishFormat.kif 15283-15283 |
| 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 4988-4996 |
|
|
|