MultipartyDemocracy
|
|
appearance as argument number 1 |
(disjoint Clothing StationaryArtifact) | Merge.kif 15973-15973 | 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 15974-15975 | |
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
(subclass Clothing WearableItem) | Merge.kif 15972-15972 | Clothing is a subclass of wearable item |
appearance as argument number 2 |
(subclass Apron Clothing) | Mid-level-ontology.kif 5047-5047 | Apron is a subclass of clothing |
(subclass Belt Clothing) | Mid-level-ontology.kif 5062-5062 | Belt is a subclass of clothing |
(subclass Cloak Clothing) | Mid-level-ontology.kif 5090-5090 | Cloak is a subclass of clothing |
(subclass Collar Clothing) | Mid-level-ontology.kif 5101-5101 | Collar is a subclass of clothing |
(subclass Dress Clothing) | Mid-level-ontology.kif 5286-5286 | Dress is a subclass of clothing |
(subclass Glove Clothing) | Mid-level-ontology.kif 5124-5124 | Glove is a subclass of clothing |
(subclass Hat Clothing) | Mid-level-ontology.kif 5139-5139 | Hat is a subclass of clothing |
(subclass Mask Clothing) | Mid-level-ontology.kif 5094-5094 | Mask is a subclass of clothing |
(subclass Oqal Clothing) | ArabicCulture.kif 415-415 | Oqal is a subclass of clothing |
(subclass OutdoorClothing Clothing) | Mid-level-ontology.kif 5033-5033 | Outdoor clothing is a subclass of clothing |
(subclass Pajamas Clothing) | Mid-level-ontology.kif 5314-5314 | Pajamas is a subclass of clothing |
(subclass SafetyVest Clothing) | Cars.kif 3539-3539 | Safety vest is a subclass of clothing |
(subclass Shirt Clothing) | Mid-level-ontology.kif 5251-5251 | Shirt is a subclass of clothing |
(subclass Shoe Clothing) | Mid-level-ontology.kif 5173-5173 | Shoe is a subclass of clothing |
(subclass Sleeve Clothing) | Mid-level-ontology.kif 5262-5262 | Sleeve is a subclass of clothing |
(subclass Sock Clothing) | Mid-level-ontology.kif 5236-5236 | Sock is a subclass of clothing |
(subclass TieClothing Clothing) | Mid-level-ontology.kif 5076-5076 | Tie clothing is a subclass of clothing |
(subclass Trousers Clothing) | Mid-level-ontology.kif 5158-5158 | Trousers is a subclass of clothing |
(subclass UniformClothing Clothing) | Mid-level-ontology.kif 26718-26718 | Uniform is a subclass of clothing |
(subclass Veil Clothing) | Mid-level-ontology.kif 5465-5465 | Veil is a subclass of clothing |
(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 15986-15993 |
|
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 15977-15984 |
|
consequent |