Clothing
|
|
appearance as argument number 1 |
(disjoint Clothing StationaryArtifact) | Merge.kif 15901-15901 | 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 15902-15903 | |
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
(subclass Clothing WearableItem) | Merge.kif 15900-15900 | Roupa e' uma sub-classe de WearableItem |
appearance as argument number 2 |
(subclass Apron Clothing) | Mid-level-ontology.kif 5053-5053 | Apron e' uma sub-classe de Roupa |
(subclass Belt Clothing) | Mid-level-ontology.kif 5068-5068 | Belt e' uma sub-classe de Roupa |
(subclass Cloak Clothing) | Mid-level-ontology.kif 5096-5096 | Cloak e' uma sub-classe de Roupa |
(subclass Collar Clothing) | Mid-level-ontology.kif 5107-5107 | Collar e' uma sub-classe de Roupa |
(subclass Dress Clothing) | Mid-level-ontology.kif 5292-5292 | Dress e' uma sub-classe de Roupa |
(subclass Glove Clothing) | Mid-level-ontology.kif 5130-5130 | Glove e' uma sub-classe de Roupa |
(subclass Hat Clothing) | Mid-level-ontology.kif 5145-5145 | Hat e' uma sub-classe de Roupa |
(subclass Mask Clothing) | Mid-level-ontology.kif 5100-5100 | 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 5039-5039 | OutdoorClothing e' uma sub-classe de Roupa |
(subclass Pajamas Clothing) | Mid-level-ontology.kif 5320-5320 | Pajamas e' uma sub-classe de Roupa |
(subclass SafetyVest Clothing) | Cars.kif 3554-3554 | SafetyVest e' uma sub-classe de Roupa |
(subclass Shirt Clothing) | Mid-level-ontology.kif 5257-5257 | Shirt e' uma sub-classe de Roupa |
(subclass Shoe Clothing) | Mid-level-ontology.kif 5179-5179 | Shoe e' uma sub-classe de Roupa |
(subclass Sleeve Clothing) | Mid-level-ontology.kif 5268-5268 | Sleeve e' uma sub-classe de Roupa |
(subclass Sock Clothing) | Mid-level-ontology.kif 5242-5242 | Sock e' uma sub-classe de Roupa |
(subclass TieClothing Clothing) | Mid-level-ontology.kif 5082-5082 | TieClothing e' uma sub-classe de Roupa |
(subclass Trousers Clothing) | Mid-level-ontology.kif 5164-5164 | Trousers e' uma sub-classe de Roupa |
(subclass UniformClothing Clothing) | Mid-level-ontology.kif 26685-26685 | UniformClothing e' uma sub-classe de Roupa |
(subclass Veil Clothing) | Mid-level-ontology.kif 5471-5471 | 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 15914-15921 | |
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 15905-15912 |
consequent |