appearance as argument number 1 |
![]() |
(disjoint Clothing StationaryArtifact) | Merge.kif 15619-15619 | Clothing is disjoint from stationary artifact |
(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 15620-15621 | |
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
(subclass Clothing WearableItem) | Merge.kif 15618-15618 | Clothing is a subclass of wearable item |
appearance as argument number 2 |
![]() |
(subclass Apron Clothing) | Mid-level-ontology.kif 4775-4775 | Apron is a subclass of clothing |
(subclass Belt Clothing) | Mid-level-ontology.kif 4790-4790 | Belt is a subclass of clothing |
(subclass Cloak Clothing) | Mid-level-ontology.kif 4818-4818 | Cloak is a subclass of clothing |
(subclass Collar Clothing) | Mid-level-ontology.kif 4829-4829 | Collar is a subclass of clothing |
(subclass Dress Clothing) | Mid-level-ontology.kif 5014-5014 | Dress is a subclass of clothing |
(subclass Glove Clothing) | Mid-level-ontology.kif 4852-4852 | Glove is a subclass of clothing |
(subclass Hat Clothing) | Mid-level-ontology.kif 4867-4867 | Hat is a subclass of clothing |
(subclass Mask Clothing) | Mid-level-ontology.kif 4822-4822 | Mask is a subclass of clothing |
(subclass Oqal Clothing) | ArabicCulture.kif 402-402 | Oqal is a subclass of clothing |
(subclass OutdoorClothing Clothing) | Mid-level-ontology.kif 4761-4761 | Outdoor clothing is a subclass of clothing |
(subclass SafetyVest Clothing) | Cars.kif 3558-3558 | SafetyVest is a subclass of clothing |
(subclass Shirt Clothing) | Mid-level-ontology.kif 4979-4979 | Shirt is a subclass of clothing |
(subclass Shoe Clothing) | Mid-level-ontology.kif 4901-4901 | Shoe is a subclass of clothing |
(subclass Sleeve Clothing) | Mid-level-ontology.kif 4990-4990 | Sleeve is a subclass of clothing |
(subclass Sock Clothing) | Mid-level-ontology.kif 4964-4964 | Sock is a subclass of clothing |
(subclass TieClothing Clothing) | Mid-level-ontology.kif 4804-4804 | Tie clothing is a subclass of clothing |
(subclass Trousers Clothing) | Mid-level-ontology.kif 4886-4886 | Trousers is a subclass of clothing |
(subclass UniformClothing Clothing) | Mid-level-ontology.kif 26033-26033 | Uniform is a subclass of clothing |
(subclass Veil Clothing) | Mid-level-ontology.kif 5163-5163 | Veil is a subclass of clothing |
(termFormat ChineseLanguage Clothing "服装") | chinese_format.kif 1055-1055 | |
(termFormat EnglishLanguage Clothing "clothing") | english_format.kif 1321-1321 |
antecedent |
![]() |
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 15632-15639 |
|
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 15623-15630 |
|
consequent |
![]() |
![]() |
![]() |