| Clothing
| |
| appearance as argument number 1 |
|
|
| (disjoint Clothing StationaryArtifact) | Merge.kif 15871-15871 | |
| (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 15872-15873 | |
| (externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
| (subclass Clothing WearableItem) | Merge.kif 15870-15870 |
| appearance as argument number 2 |
|
|
| (subclass Apron Clothing) | Mid-level-ontology.kif 5025-5025 | |
| (subclass Belt Clothing) | Mid-level-ontology.kif 5040-5040 | |
| (subclass Cloak Clothing) | Mid-level-ontology.kif 5068-5068 | |
| (subclass Collar Clothing) | Mid-level-ontology.kif 5079-5079 | |
| (subclass Dress Clothing) | Mid-level-ontology.kif 5264-5264 | |
| (subclass Glove Clothing) | Mid-level-ontology.kif 5102-5102 | |
| (subclass Hat Clothing) | Mid-level-ontology.kif 5117-5117 | |
| (subclass Mask Clothing) | Mid-level-ontology.kif 5072-5072 | |
| (subclass Oqal Clothing) | ArabicCulture.kif 415-415 | |
| (subclass OutdoorClothing Clothing) | Mid-level-ontology.kif 5011-5011 | |
| (subclass Pajamas Clothing) | Mid-level-ontology.kif 5292-5292 | |
| (subclass SafetyVest Clothing) | Cars.kif 3554-3554 | |
| (subclass Shirt Clothing) | Mid-level-ontology.kif 5229-5229 | |
| (subclass Shoe Clothing) | Mid-level-ontology.kif 5151-5151 | |
| (subclass Sleeve Clothing) | Mid-level-ontology.kif 5240-5240 | |
| (subclass Sock Clothing) | Mid-level-ontology.kif 5214-5214 | |
| (subclass TieClothing Clothing) | Mid-level-ontology.kif 5054-5054 | |
| (subclass Trousers Clothing) | Mid-level-ontology.kif 5136-5136 | |
| (subclass UniformClothing Clothing) | Mid-level-ontology.kif 26602-26602 | |
| (subclass Veil Clothing) | Mid-level-ontology.kif 5443-5443 | |
| (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 15884-15891 | |
| (=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 15875-15882 |
| 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 30095-30105 | |
| (<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 30062-30070 | |
| (=> (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 5475-5490 | |
| (=> (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 5044-5052 | |
| (=> (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 30077-30090 | |
| (=> (instance ?B Button) (hasPurpose ?B (exists (?C) (and (instance ?C Clothing) (part ?B ?C))))) |
Mid-level-ontology.kif 4236-4242 | |
| (=> (instance ?POCKET Pocket) (exists (?CLOTHING) (and (instance ?CLOTHING Clothing) (part ?POCKET ?CLOTHING)))) |
Mid-level-ontology.kif 5392-5397 | |
| (=> (instance ?S Sewing) (capability Clothing patient ?S)) |
Mid-level-ontology.kif 5595-5597 | |
| (=> (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 1809-1819 | |
| (=> (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 1785-1802 | |
| (=> (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 1827-1848 | |
| (=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X)))) |
Hotel.kif 1856-1863 |
|
|
|