Clothing
|
|
appearance as argument number 1 |
(disjoint Clothing StationaryArtifact) | Merge.kif 15923-15923 | Roupa e' disjunto de Artefato Estacionario |
(documentation Clothing ChineseLanguage "这是由面料和可能是其他物料所造成,是给 Human 蔽体用的 Artifact。") | chinese_format.kif 3614-3615 | |
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.") | Merge.kif 15924-15925 | |
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
(subclass Clothing WearableItem) | Merge.kif 15922-15922 | Roupa e' uma sub-classe de WearableItem |
appearance as argument number 2 |
(subclass Apron Clothing) | Mid-level-ontology.kif 5052-5052 | Apron e' uma sub-classe de Roupa |
(subclass Belt Clothing) | Mid-level-ontology.kif 5067-5067 | Belt e' uma sub-classe de Roupa |
(subclass Cloak Clothing) | Mid-level-ontology.kif 5095-5095 | Cloak e' uma sub-classe de Roupa |
(subclass Collar Clothing) | Mid-level-ontology.kif 5106-5106 | Collar e' uma sub-classe de Roupa |
(subclass Dress Clothing) | Mid-level-ontology.kif 5291-5291 | Dress e' uma sub-classe de Roupa |
(subclass Glove Clothing) | Mid-level-ontology.kif 5129-5129 | Glove e' uma sub-classe de Roupa |
(subclass Hat Clothing) | Mid-level-ontology.kif 5144-5144 | Hat e' uma sub-classe de Roupa |
(subclass Mask Clothing) | Mid-level-ontology.kif 5099-5099 | Mask e' uma sub-classe de Roupa |
(subclass Oqal Clothing) | ArabicCulture.kif 415-415 | Oqal e' uma sub-classe de Roupa |
(subclass OutdoorClothing Clothing) | Mid-level-ontology.kif 5038-5038 | OutdoorClothing e' uma sub-classe de Roupa |
(subclass Pajamas Clothing) | Mid-level-ontology.kif 5319-5319 | Pajamas e' uma sub-classe de Roupa |
(subclass SafetyVest Clothing) | Cars.kif 3562-3562 | SafetyVest e' uma sub-classe de Roupa |
(subclass Shirt Clothing) | Mid-level-ontology.kif 5256-5256 | Shirt e' uma sub-classe de Roupa |
(subclass Shoe Clothing) | Mid-level-ontology.kif 5178-5178 | Shoe e' uma sub-classe de Roupa |
(subclass Sleeve Clothing) | Mid-level-ontology.kif 5267-5267 | Sleeve e' uma sub-classe de Roupa |
(subclass Sock Clothing) | Mid-level-ontology.kif 5241-5241 | Sock e' uma sub-classe de Roupa |
(subclass TieClothing Clothing) | Mid-level-ontology.kif 5081-5081 | TieClothing e' uma sub-classe de Roupa |
(subclass Trousers Clothing) | Mid-level-ontology.kif 5163-5163 | Trousers e' uma sub-classe de Roupa |
(subclass UniformClothing Clothing) | Mid-level-ontology.kif 26673-26673 | UniformClothing e' uma sub-classe de Roupa |
(subclass Veil Clothing) | Mid-level-ontology.kif 5470-5470 | Veil e' uma sub-classe de Roupa |
(termFormat ChineseLanguage Clothing "服装") | chinese_format.kif 1055-1055 | |
(termFormat EnglishLanguage Clothing "clothing") | english_format.kif 1321-1321 | |
(termFormat FrenchLanguage Clothing "v�tement") | french_format.kif 733-733 | |
(termFormat Hindi Clothing "paridhaana") | terms-hindi.txt 264-264 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 15936-15943 | |
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 15927-15934 |
consequent |