Clothing - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Clothing StationaryArtifact)	Merge.kif 15923-15923	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 15924-15925
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png")	pictureList.kif 351-351
(subclass Clothing WearableItem)	Merge.kif 15922-15922	Clothing ist eine teilkategorie von WearableItem

appearance as argument number 2

(subclass Apron Clothing)	Mid-level-ontology.kif 5052-5052	Apron ist eine teilkategorie von Clothing
(subclass Belt Clothing)	Mid-level-ontology.kif 5067-5067	Belt ist eine teilkategorie von Clothing
(subclass Cloak Clothing)	Mid-level-ontology.kif 5095-5095	Cloak ist eine teilkategorie von Clothing
(subclass Collar Clothing)	Mid-level-ontology.kif 5106-5106	Collar ist eine teilkategorie von Clothing
(subclass Dress Clothing)	Mid-level-ontology.kif 5291-5291	Dress ist eine teilkategorie von Clothing
(subclass Glove Clothing)	Mid-level-ontology.kif 5129-5129	Glove ist eine teilkategorie von Clothing
(subclass Hat Clothing)	Mid-level-ontology.kif 5144-5144	Hat ist eine teilkategorie von Clothing
(subclass Mask Clothing)	Mid-level-ontology.kif 5099-5099	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 5038-5038	OutdoorClothing ist eine teilkategorie von Clothing
(subclass Pajamas Clothing)	Mid-level-ontology.kif 5319-5319	Pajamas ist eine teilkategorie von Clothing
(subclass SafetyVest Clothing)	Cars.kif 3562-3562	SafetyVest ist eine teilkategorie von Clothing
(subclass Shirt Clothing)	Mid-level-ontology.kif 5256-5256	Shirt ist eine teilkategorie von Clothing
(subclass Shoe Clothing)	Mid-level-ontology.kif 5178-5178	Shoe ist eine teilkategorie von Clothing
(subclass Sleeve Clothing)	Mid-level-ontology.kif 5267-5267	Sleeve ist eine teilkategorie von Clothing
(subclass Sock Clothing)	Mid-level-ontology.kif 5241-5241	Sock ist eine teilkategorie von Clothing
(subclass TieClothing Clothing)	Mid-level-ontology.kif 5081-5081	TieClothing ist eine teilkategorie von Clothing
(subclass Trousers Clothing)	Mid-level-ontology.kif 5163-5163	Trousers ist eine teilkategorie von Clothing
(subclass UniformClothing Clothing)	Mid-level-ontology.kif 26673-26673	UniformClothing ist eine teilkategorie von Clothing
(subclass Veil Clothing)	Mid-level-ontology.kif 5470-5470	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 15936-15943	Wenn Physical ist ein fall von Clothing %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Animal %n{nicht} und entity ist ein teil von entity %n{nicht} und covers Physical and ** entity %n{nicht}
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely))	Merge.kif 15927-15934	Wenn Entity ist ein fall von Clothing %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von Fabric %n{nicht} und entity ist ein teil von Entity %n{nicht} hat die modale Kraft von Likely

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 30166-30176	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 30133-30141	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 5502-5517	Wenn Process ist ein fall von Dressing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Clothing %n{nicht} und wears AutonomousAgent and Entity haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und wears AutonomousAgent and Entity haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und ApparelManufacturing ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Manufacture %n{nicht} und Entity ist ein fall von Clothing %n{nicht} und Entity ist ein patient von AutonomousAgent %n{nicht} und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von Selling %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Entity ist ein patient von AutonomousAgent2 %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und ClothingAndClothingAccessoriesStores ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity um AutonomousAgent ist ein fall von Selling %n{nicht} und Entity ist ein fall von Clothing %n{nicht} und Entity ist ein patient von ** AutonomousAgent %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und LeatherAndAlliedProductManufacturing ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Manufacture %n{nicht} und Entity ist ein fall von Clothing %n{nicht} oder Entity ist ein fall von Fabric %n{nicht} und Entity ist ein patient von AutonomousAgent %n{nicht} und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von Selling %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Entity ist ein patient von ** AutonomousAgent2 %n{nicht}
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 5071-5079	Wenn wears Animal and WearableItem und WearableItem ist ein fall von Belt %n{nicht}, dann es gibt WearableItem um WearableItem ist ein fall von Clothing %n{nicht} und wears Animal and WearableItem und WearableItem schliesst WearableItem raeumlich an
(=> (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 30148-30161	Wenn Clothed ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann es gibt nicht entity um entity ist ein fall von ReproductiveBody %n{nicht} und entity ist ein teil von entity %n{nicht} und es gibt nicht entity um entity ist ein fall von Clothing %n{nicht} und covers entity and entity haelt waehrend TimePosition %n{nicht}
(=> (instance ?B Button) (hasPurpose ?B (exists (?C) (and (instance ?C Clothing) (part ?B ?C)))))	Mid-level-ontology.kif 4264-4270	Wenn Physical ist ein fall von Button %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Clothing %n{nicht} und Physical ist ein teil von entity %n{nicht} %n{nicht}
(=> (instance ?POCKET Pocket) (exists (?CLOTHING) (and (instance ?CLOTHING Clothing) (part ?POCKET ?CLOTHING))))	Mid-level-ontology.kif 5419-5424	Wenn Object ist ein fall von Pocket %n{nicht}, dann es gibt Object um Object ist ein fall von Clothing %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?S Sewing) (capability Clothing patient ?S))	Mid-level-ontology.kif 5622-5624	Wenn Object ist ein fall von Sewing %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Clothing zu tun
(=> (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	Wenn Process ist ein fall von DryCleaningService %n{nicht}, dann es gibt Entity, Object, and und Object um Entity ist ein fall von Clothing %n{nicht} und Object ist ein instrument fuer Process nicht und Object ist ein fall von Water %n{nicht} und Object ist ein fall von ChemicalProduct %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Clean ist ein attribut von Entity %n{nicht} ist ein resultat von Process %n{nicht}
(=> (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	Wenn Process ist ein fall von LaundryService %n{nicht}, dann es gibt Entity, Process,, , Process, and und Process um Entity ist ein fall von Clothing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Washing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Clean ist ein attribut von Entity %n{nicht} ist ein resultat von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Drying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein fall von Ironing %n{nicht} und Process ist ein subProzess von Process und Entity ist ein patient von Process %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von Process %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von ValetLaundryService %n{nicht}, dann es gibt Human, AutonomousAgent,, , TemporaryResidence,, , Entity,, , Process,, , Process, and und Process um customer Human and AutonomousAgent und stays Human and TemporaryResidence und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein fall von Clothing %n{nicht} und Process ist ein fall von Getting %n{nicht} und Process befindet sich an %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von LaundryService %n{nicht} oder Process ist ein fall von DryCleaningService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein fall von DeliveryService %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an TemporaryResidence %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von Process %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von Process %n{nicht}
(=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X))))	Hotel.kif 1856-1863	Wenn Process ist ein fall von IroningService %n{nicht}, dann es gibt Process und Entity um Entity ist ein fall von Clothing %n{nicht} und Process ist ein fall von Ironing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: