engineCylinders
|
|
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 | 子類 服裝套裝 and Collection |
appearance as argument number 2 |
(subclass IhramClothing ClothingSuit) | ArabicCulture.kif 150-150 | 子類 ihram服裝 and 服裝套裝 |
(termFormat ChineseLanguage ClothingSuit "服装套装") | domainEnglishFormat.kif 15282-15282 | |
(termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") | domainEnglishFormat.kif 15281-15281 | |
(termFormat EnglishLanguage ClothingSuit "clothing suit") | domainEnglishFormat.kif 15280-15280 |
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 |
|