| 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 5297-5298 | |
| (subclass ClothingSuit Collection) | Mid-level-ontology.kif 5296-5296 |
| appearance as argument number 2 |
|
|
| (subclass IhramClothing ClothingSuit) | ArabicCulture.kif 150-150 | |
| (termFormat ChineseLanguage ClothingSuit "服装套装") | domainEnglishFormat.kif 15293-15293 | |
| (termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") | domainEnglishFormat.kif 15292-15292 | |
| (termFormat EnglishLanguage ClothingSuit "clothing suit") | domainEnglishFormat.kif 15291-15291 |
| 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 |
|
|
|