| Clothing(paridhaana)
| |
| appearance as argument number 1 |
|
|
| (disjoint Clothing StationaryArtifact) | Merge.kif 16062-16062 | |
| (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 16063-16064 | |
| (externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
| (subclass Clothing WearableItem) | Merge.kif 16061-16061 |
| appearance as argument number 2 |
|
|
| (subclass Apron Clothing) | Mid-level-ontology.kif 6009-6009 | |
| (subclass Belt Clothing) | Mid-level-ontology.kif 6024-6024 | |
| (subclass Cloak Clothing) | Mid-level-ontology.kif 6052-6052 | |
| (subclass Collar Clothing) | Mid-level-ontology.kif 6063-6063 | |
| (subclass Dress Clothing) | Mid-level-ontology.kif 6248-6248 | |
| (subclass Glove Clothing) | Mid-level-ontology.kif 6086-6086 | |
| (subclass Hat Clothing) | Mid-level-ontology.kif 6101-6101 | |
| (subclass Mask Clothing) | Mid-level-ontology.kif 6056-6056 | |
| (subclass Oqal Clothing) | ArabicCulture.kif 415-415 | |
| (subclass OutdoorClothing Clothing) | Mid-level-ontology.kif 5995-5995 | |
| (subclass Pajamas Clothing) | Mid-level-ontology.kif 6276-6276 | |
| (subclass SafetyVest Clothing) | Cars.kif 3615-3615 | |
| (subclass Shirt Clothing) | Mid-level-ontology.kif 6213-6213 | |
| (subclass Shoe Clothing) | Mid-level-ontology.kif 6135-6135 | |
| (subclass Sleeve Clothing) | Mid-level-ontology.kif 6224-6224 | |
| (subclass Sock Clothing) | Mid-level-ontology.kif 6198-6198 | |
| (subclass TieClothing Clothing) | Mid-level-ontology.kif 6038-6038 | |
| (subclass Trousers Clothing) | Mid-level-ontology.kif 6120-6120 | |
| (subclass UniformClothing Clothing) | Mid-level-ontology.kif 28343-28343 | |
| (subclass Veil Clothing) | Mid-level-ontology.kif 6427-6427 | |
| (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 |
|
|
| (=> (holdsDuring ?T (and (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?F)))) (instance ?F Foot) (part ?F ?A))) (holdsDuring ?T (attribute ?A Barefoot))) |
Mid-level-ontology.kif 31796-31807 | |
| (=> (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))) (holdsDuring ?T (attribute ?A Naked))) |
Mid-level-ontology.kif 31822-31830 | |
| (=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 16075-16082 | |
| (=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 16066-16073 |
| consequent |
|
|
| (<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B)))))) |
Mid-level-ontology.kif 31855-31865 | |
| (=> (and (instance ?DRESS Dressing) (agent ?DRESS ?AGENT) (patient ?DRESS ?CLOTHING)) (and (instance ?CLOTHING Clothing) (holdsDuring (BeginFn (WhenFn ?DRESS)) (not (wears ?AGENT ?CLOTHING))) (holdsDuring (EndFn (WhenFn ?DRESS)) (wears ?AGENT ?CLOTHING)))) |
Mid-level-ontology.kif 6459-6474 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ApparelManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Clothing) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2194-2210 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ClothingAndClothingAccessoriesStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Clothing) (patient ?EV ?THING)))))) |
naics.kif 7509-7521 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG LeatherAndAlliedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Clothing) (instance ?THING Fabric)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2457-2475 | |
| (=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 6028-6036 | |
| (=> (holdsDuring ?T (and (attribute ?A Barefoot) (instance ?F Foot) (part ?F ?A))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?F)))))) |
Mid-level-ontology.kif 31783-31794 | |
| (=> (holdsDuring ?T (attribute ?A Clothed)) (holdsDuring ?T (not (exists (?P) (and (instance ?P ReproductiveBody) (part ?P ?A) (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?P))))))))) |
Mid-level-ontology.kif 31837-31850 | |
| (=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 31812-31820 | |
| (=> (instance ?B Button) (hasPurpose ?B (exists (?C) (and (instance ?C Clothing) (part ?B ?C))))) |
Mid-level-ontology.kif 4726-4732 | |
| (=> (instance ?POCKET Pocket) (exists (?CLOTHING) (and (instance ?CLOTHING Clothing) (part ?POCKET ?CLOTHING)))) |
Mid-level-ontology.kif 6376-6381 | |
| (=> (instance ?S Sewing) (capability Clothing patient ?S)) |
Mid-level-ontology.kif 6579-6581 | |
| (=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (result ?SVC (attribute ?CLOTHES Clean))))) |
Hotel.kif 1820-1830 | |
| (=> (instance ?SVC LaundryService) (exists (?CLOTHES ?WASH ?DRY ?IRON) (and (instance ?CLOTHES Clothing) (patient ?SVC ?CLOTHES) (subProcess ?WASH ?SVC) (instance ?WASH Washing) (patient ?WASH ?CLOTHES) (result ?WASH (attribute ?CLOTHES Clean)) (subProcess ?DRY ?SVC) (instance ?DRY Drying) (patient ?DRY ?CLOTHES) (instance ?IRON Ironing) (subProcess ?IRON ?SVC) (patient ?IRON ?CLOTHES) (before (BeginFn (WhenFn ?WASH)) (BeginFn (WhenFn ?DRY))) (before (BeginFn (WhenFn ?DRY)) (BeginFn (WhenFn ?IRON)))))) |
Hotel.kif 1796-1813 | |
| (=> (instance ?SVC ValetLaundryService) (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY) (and (customer ?CUST ?AGENT) (stays ?CUST ?LOC) (agent ?SVC ?AGENT) (instance ?CLOTHES Clothing) (instance ?PICKUP Getting) (located ?PICKUP ?LOC) (patient ?PICKUP ?CLOTHES) (agent ?PICKUP ?AGENT) (or (instance ?LAUNDRY LaundryService) (instance ?LAUNDRY DryCleaningService)) (agent ?LAUNDRY ?AGENT) (patient ?LAUNDRY ?CLOTHES) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?CLOTHES) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?PICKUP)) (BeginFn (WhenFn ?LAUNDRY))) (before (BeginFn (WhenFn ?LAUNDRY)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1838-1859 | |
| (=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X)))) |
Hotel.kif 1867-1874 |
|
|
|