Clothing
|
|
appearance as argument number 1 |
(disjoint Clothing StationaryArtifact) | Merge.kif 15901-15901 | Clothing ist dijunkt von StationaryArtifact %n{nicht} |
(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 15902-15903 | |
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") | pictureList.kif 351-351 | |
(subclass Clothing WearableItem) | Merge.kif 15900-15900 | Clothing ist eine teilkategorie von WearableItem |
appearance as argument number 2 |
(subclass Apron Clothing) | Mid-level-ontology.kif 5053-5053 | Apron ist eine teilkategorie von Clothing |
(subclass Belt Clothing) | Mid-level-ontology.kif 5068-5068 | Belt ist eine teilkategorie von Clothing |
(subclass Cloak Clothing) | Mid-level-ontology.kif 5096-5096 | Cloak ist eine teilkategorie von Clothing |
(subclass Collar Clothing) | Mid-level-ontology.kif 5107-5107 | Collar ist eine teilkategorie von Clothing |
(subclass Dress Clothing) | Mid-level-ontology.kif 5292-5292 | Dress ist eine teilkategorie von Clothing |
(subclass Glove Clothing) | Mid-level-ontology.kif 5130-5130 | Glove ist eine teilkategorie von Clothing |
(subclass Hat Clothing) | Mid-level-ontology.kif 5145-5145 | Hat ist eine teilkategorie von Clothing |
(subclass Mask Clothing) | Mid-level-ontology.kif 5100-5100 | Mask ist eine teilkategorie von Clothing |
(subclass Oqal Clothing) | ArabicCulture.kif 415-415 | Oqal ist eine teilkategorie von Clothing |
(subclass OutdoorClothing Clothing) | Mid-level-ontology.kif 5039-5039 | OutdoorClothing ist eine teilkategorie von Clothing |
(subclass Pajamas Clothing) | Mid-level-ontology.kif 5320-5320 | Pajamas ist eine teilkategorie von Clothing |
(subclass SafetyVest Clothing) | Cars.kif 3554-3554 | SafetyVest ist eine teilkategorie von Clothing |
(subclass Shirt Clothing) | Mid-level-ontology.kif 5257-5257 | Shirt ist eine teilkategorie von Clothing |
(subclass Shoe Clothing) | Mid-level-ontology.kif 5179-5179 | Shoe ist eine teilkategorie von Clothing |
(subclass Sleeve Clothing) | Mid-level-ontology.kif 5268-5268 | Sleeve ist eine teilkategorie von Clothing |
(subclass Sock Clothing) | Mid-level-ontology.kif 5242-5242 | Sock ist eine teilkategorie von Clothing |
(subclass TieClothing Clothing) | Mid-level-ontology.kif 5082-5082 | TieClothing ist eine teilkategorie von Clothing |
(subclass Trousers Clothing) | Mid-level-ontology.kif 5164-5164 | Trousers ist eine teilkategorie von Clothing |
(subclass UniformClothing Clothing) | Mid-level-ontology.kif 26685-26685 | UniformClothing ist eine teilkategorie von Clothing |
(subclass Veil Clothing) | Mid-level-ontology.kif 5471-5471 | Veil ist eine teilkategorie von 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 15914-15921 |
|
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 15905-15912 |
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 30178-30188 | Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und covers ** ** entity and ** Entity haelt waehrend ** TimePosition %n{nicht} |
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 30145-30153 | Naked ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und wears ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht} |
(=> (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 5503-5518 |
|
(=> (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 5072-5080 |
|
(=> (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 30160-30173 |
|
(=> (instance ?B Button) (hasPurpose ?B (exists (?C) (and (instance ?C Clothing) (part ?B ?C))))) |
Mid-level-ontology.kif 4264-4270 | |
(=> (instance ?POCKET Pocket) (exists (?CLOTHING) (and (instance ?CLOTHING Clothing) (part ?POCKET ?CLOTHING)))) |
Mid-level-ontology.kif 5420-5425 |
|
(=> (instance ?S Sewing) (capability Clothing patient ?S)) |
Mid-level-ontology.kif 5623-5625 | |
(=> (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 |
|