Clothing![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Clothing StationaryArtifact) | Merge.kif 14779-14779 | disjoint Clothing and StationaryArtifact |
(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 14780-14781 | |
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
(subclass Clothing WearableItem) | Merge.kif 14778-14778 | subclass Clothing and WearableItem |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 14792-14799 | |
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 14783-14790 |
consequent |
![]() |
![]() |
![]() |