wears - Sigma Knowledge base Browser

appearance as argument number 1

(documentation wears ChineseLanguage "(wears ?AGENT ?WI) 的意思是 ?AGENT 正穿着一件 ?WI 的 WearableItem。")	chinese_format.kif 3616-3617
(documentation wears EnglishLanguage "(wears ?AGENT ?WI) means that ?AGENT is wearing the WearableItem item ?WI.")	Merge.kif 14734-14735
(domain wears 1 Animal)	Merge.kif 14732-14732	domain wears, 1 and Animal
(domain wears 2 WearableItem)	Merge.kif 14733-14733	domain wears, 2 and WearableItem
(instance wears BinaryPredicate)	Merge.kif 14731-14731	instance wears and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage wears "%1 %n{doesn't} wears %2")	chinese_format.kif 796-796
(format EnglishLanguage wears "%1 %n{doesn't} wear%p{s} %2")	english_format.kif 805-805
(format EnglishLanguage wears "%1 は % を wear%p{s} %n{ない}")	english_format.kif 806-806
(termFormat ChineseLanguage wears "穿")	domainEnglishFormat.kif 62488-62488
(termFormat ChineseLanguage wears "穿戴")	chinese_format.kif 797-797
(termFormat ChineseTraditionalLanguage wears "穿")	domainEnglishFormat.kif 62487-62487
(termFormat EnglishLanguage wears "wears")	domainEnglishFormat.kif 62486-62486

antecedent

(=> (and (instance ?CLOTHING OutdoorClothing) (holdsDuring ?TIME (wears ?PERSON ?CLOTHING))) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (holdsDuring ?TIME (located ?PERSON ?BUILDING))))))	Mid-level-ontology.kif 5339-5346	instance Entity and OutdoorClothing holdsDuring TimePosition and wears entity and Entity Entity instance Entity and Building holdsDuring TimePosition and located entity and Entity
(=> (and (instance ?DRESS Dress) (wears ?PERSON ?DRESS)) (instance ?PERSON Woman))	Mid-level-ontology.kif 5571-5575	instance WearableItem and Dress wears Animal and WearableItem instance Animal and Woman
(=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD))	ComputerInput.kif 536-542	instance WearableItem and Earphone wears Animal and WearableItem instance Object and Head part Object and Animal located WearableItem and Object
(=> (and (instance ?IC IhramClothing) (wears ?IC ?M) (attribute ?M Male)) (exists (?C ?B ?S) (and (instance ?C Cloak) (instance ?B Belt) (instance ?S Sandal) (member ?C ?IC) (member ?B ?IC) (member ?S ?IC))))	ArabicCulture.kif 142-154	instance Animal and IhramClothing wears Animal and WearableItem attribute WearableItem and Male Object Object and Object instance Object and Cloak instance Object and Belt instance Object and Sandal member Object and Animal member Object and Animal member Object and Animal
(=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human))	Mid-level-ontology.kif 5539-5543	instance WearableItem and Shirt wears Animal and WearableItem instance Animal and Human
(=> (and (instance ?SUIT ClothingSuit) (member ?ITEM1 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM1))) (forall (?ITEM2) (=> (member ?ITEM2 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM2)))))	Mid-level-ontology.kif 5581-5589	instance Collection and ClothingSuit member Object and Collection holdsDuring TimePosition and wears entity and Object Object member Object and Collection holdsDuring TimePosition and wears entity and Object
(=> (and (instance ?X Outfit) (member ?ITEM1 ?X) (holdsDuring ?TIME (wears ?PERSON ?ITEM1))) (forall (?ITEM2) (=> (member ?ITEM2 ?X) (holdsDuring ?TIME (wears ?PERSON ?ITEM2)))))	Dining.kif 440-450	instance Collection and Outfit member Object and Collection holdsDuring TimePosition and wears entity and Object Object member Object and Collection holdsDuring TimePosition and wears entity and Object
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P))	Merge.kif 14741-14745	wears Animal and WearableItem part WearableItem and WearableItem wears Animal and WearableItem
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L))))	Mid-level-ontology.kif 5451-5459	wears Animal and SelfConnectedObject instance SelfConnectedObject and Trousers Object instance Object and Leg part Object and Animal contains SelfConnectedObject and Object
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 5365-5373	wears Animal and WearableItem instance WearableItem and Belt WearableItem instance WearableItem and Clothing wears Animal and WearableItem meetsSpatially WearableItem and WearableItem
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N))))	Mid-level-ontology.kif 5405-5413	wears Animal and WearableItem instance WearableItem and Collar Object instance Object and Neck part Object and Animal meetsSpatially WearableItem and Object
(=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock))	Mid-level-ontology.kif 3377-3384	wears Animal and WearableItem located WearableItem and Object instance WearableItem and Clock instance Object and Wrist part Object and Animal instance WearableItem and WatchClock
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H))))	Mid-level-ontology.kif 5419-5427	wears Animal and WearableItem instance WearableItem and Glove Object instance Object and Hand part Object and Animal meetsSpatially WearableItem and Object
(=> (and (wears ?P ?S) (instance ?S Sleeve)) (exists (?A) (and (instance ?A Arm) (part ?A ?P) (contains ?S ?A))))	Mid-level-ontology.kif 5548-5556	wears Animal and SelfConnectedObject instance SelfConnectedObject and Sleeve Object instance Object and Arm part Object and Animal contains SelfConnectedObject and Object
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F))))	Mid-level-ontology.kif 5525-5533	wears Animal and SelfConnectedObject instance SelfConnectedObject and Sock Object instance Object and Foot part Object and Animal contains SelfConnectedObject and Object
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N))))	Mid-level-ontology.kif 5379-5387	wears Animal and SelfConnectedObject instance SelfConnectedObject and TieClothing Object instance Object and Neck part Object and Animal contains SelfConnectedObject and Object
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 5433-5441	wears Animal and WearableItem instance WearableItem and Hat Object instance Object and Head part Object and Animal meetsSpatially WearableItem and Object
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 5465-5473	wears Animal and WearableItem instance WearableItem and Shoe Object instance Object and Foot part Object and Animal meetsSpatially WearableItem and Object
(=> (wears ?AGENT ?WI) (located ?WI ?AGENT))	Merge.kif 14737-14739	wears Animal and WearableItem located WearableItem and Animal

consequent

(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S))))))	Mid-level-ontology.kif 28295-28303	holdsDuring TimePosition and attribute entity and Barefoot holdsDuring TimePosition and entity instance entity and Shoe wears entity and entity
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))))	Mid-level-ontology.kif 28307-28315	holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing wears entity and entity
(=> (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 5744-5759	instance Process and Dressing agent Process and Agent patient Process and Entity instance Entity and Clothing holdsDuring BeginFn WhenFn Process and wears Agent and Entity holdsDuring EndFn WhenFn Process and wears Agent and Entity
(=> (and (instance ?REMOVE RemovingClothing) (agent ?REMOVE ?AGENT) (patient ?REMOVE ?CLOTHING)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (wears ?AGENT ?CLOTHING)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (wears ?AGENT ?CLOTHING)))))	Mid-level-ontology.kif 5778-5789	instance Process and RemovingClothing agent Process and Agent patient Process and Entity holdsDuring BeginFn WhenFn Process and wears Agent and Entity holdsDuring EndFn WhenFn Process and wears Agent and Entity
(=> (and (instance ?SUIT ClothingSuit) (member ?ITEM1 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM1))) (forall (?ITEM2) (=> (member ?ITEM2 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM2)))))	Mid-level-ontology.kif 5581-5589	instance Collection and ClothingSuit member Object and Collection holdsDuring TimePosition and wears entity and Object Object member Object and Collection holdsDuring TimePosition and wears entity and Object
(=> (and (instance ?X Outfit) (member ?ITEM1 ?X) (holdsDuring ?TIME (wears ?PERSON ?ITEM1))) (forall (?ITEM2) (=> (member ?ITEM2 ?X) (holdsDuring ?TIME (wears ?PERSON ?ITEM2)))))	Dining.kif 440-450	instance Collection and Outfit member Object and Collection holdsDuring TimePosition and wears entity and Object Object member Object and Collection holdsDuring TimePosition and wears entity and Object
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P))	Merge.kif 14741-14745	wears Animal and WearableItem part WearableItem and WearableItem wears Animal and WearableItem
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 5365-5373	wears Animal and WearableItem instance WearableItem and Belt WearableItem instance WearableItem and Clothing wears Animal and WearableItem meetsSpatially WearableItem and WearableItem
(=> (dressCode ?CODE ?AGENT) (modalAttribute (and (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (instance ?OUTFIT Outfit) (customer ?CUST ?AGENT) (holdsDuring (WhenFn (located ?CUST ?AGENT)) (forall (?ITEM) (=> (member ?ITEM ?OUTFIT) (wears ?CUST ?ITEM))))) Obligation))	Dining.kif 462-473	dressCode AmbienceAttribute and Agent modalAttribute subjectiveAttribute entity, AmbienceAttribute and Agent instance entity and Outfit customer entity and Agent holdsDuring WhenFn located entity and Agent and entity member entity and entity wears entity and entity and Obligation
(=> (experiencer ?IP ?A) (exists (?IC) (and (instance ?IC IhramClothing) (holdsDuring (WhenFn ?IP) (wears ?A ?IC)))))	ArabicCulture.kif 161-168	experiencer Process and Agent Entity instance Entity and IhramClothing holdsDuring WhenFn Process and wears Agent and Entity
(=> (hasUniform ?GRP ?UNIFORM) (modalAttribute (exists (?PERS ?CLOTHING ?TIME) (and (member ?PERS ?GRP) (instance ?CLOTHING ?UNIFORM) (holdsDuring ?TIME (wears ?PERS ?CLOTHING)))) Likely))	Mid-level-ontology.kif 24819-24827	hasUniform Group and UniformClothing modalAttribute entity entity and entity member entity and Group instance entity and UniformClothing holdsDuring entity and wears entity and entity and Likely
(=> (instance ?A Apron) (hasPurpose ?A (exists (?P ?C) (and (instance ?C Cooking) (agent ?C ?P) (holdsDuring (WhenFn ?C) (wears ?P ?A))))))	Mid-level-ontology.kif 5351-5360	instance Physical and Apron hasPurpose Physical and entity entity instance entity and Cooking agent entity and entity holdsDuring WhenFn entity and wears entity and Physical
(=> (instance ?G Gutrah) (hasPurpose ?G (=> (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (hotSeasonInArea ?AREA ?S)) (during ?T ?S))))	ArabicCulture.kif 363-373	instance Physical and Gutrah hasPurpose Physical and holdsDuring entity and wears entity and Physical holdsDuring entity and located entity and entity hotSeasonInArea entity and entity during entity and entity
(=> (instance ?G Shimagh) (hasPurpose ?G (=> (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (coldSeasonInArea ?AREA ?S)) (during ?T ?S))))	ArabicCulture.kif 385-395	instance Physical and Shimagh hasPurpose Physical and holdsDuring entity and wears entity and Physical holdsDuring entity and located entity and entity coldSeasonInArea entity and entity during entity and entity
(=> (instance ?H Abayah) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 518-524	instance Physical and Abayah hasPurpose Physical and entity instance entity and Woman wears entity and Physical
(=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H)))))	ArabicCulture.kif 435-441	instance Physical and Dishdashah hasPurpose Physical and entity instance entity and Man wears entity and Physical
(=> (instance ?H Hijab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 487-493	instance Physical and Hijab hasPurpose Physical and entity instance entity and Woman wears entity and Physical
(=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H)))))	ArabicCulture.kif 423-429	instance Physical and Jallabiyyah hasPurpose Physical and entity instance entity and Man wears entity and Physical
(=> (instance ?H Jilbab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 500-506	instance Physical and Jilbab hasPurpose Physical and entity instance entity and Woman wears entity and Physical
(=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 474-480	instance Physical and Khimar hasPurpose Physical and entity instance entity and Woman wears entity and Physical
(=> (instance ?H Niqab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 455-461	instance Physical and Niqab hasPurpose Physical and entity instance entity and Woman wears entity and Physical
(=> (instance ?HP HearingProtection) (hasPurpose ?HP (=> (and (instance ?PERSON Human) (wears ?PERSON ?HP)) (exists (?PROC ?INJ) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN))) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP))))))	Cars.kif 3423-3453	instance Physical and HearingProtection hasPurpose Physical and instance entity and Human wears entity and Physical entity entity instance entity and Process subclass entity and KappaFn entity and instance entity and Injuring entity entity and entity instance entity and RadiatingSound instance entity and Hearing instance entity and Human patient entity and entity experiencer entity and entity causes entity and entity experiencer entity and entity holdsDuring entity and experiencer entity and entity holdsDuring entity and patient entity and entity prevents entity and entity instrument entity and Physical
(=> (instance ?MG MotorcycleGlove) (hasPurpose ?MG (exists (?M ?D ?T) (and (instance ?T Driving) (agent ?T ?D) (instrument ?T ?M) (instance ?M Motorcycle) (holdsDuring (WhenFn ?T) (wears ?D ?MG))))))	Cars.kif 4729-4739	instance Physical and MotorcycleGlove hasPurpose Physical and entity entity and entity instance entity and Driving agent entity and entity instrument entity and entity instance entity and Motorcycle holdsDuring WhenFn entity and wears entity and Physical
(=> (instance ?MH MotorcycleHelmet) (hasPurpose ?MH (exists (?P ?D ?M) (and (instance ?D Driving) (agent ?D ?P) (instance ?M Motorcycle) (patient ?D ?M) (instance ?P Human) (holdsDuring (WhenFn ?D) (wears ?P ?MH))))))	Cars.kif 4342-4353	instance Physical and MotorcycleHelmet hasPurpose Physical and entity entity and entity instance entity and Driving agent entity and entity instance entity and Motorcycle patient entity and entity instance entity and Human holdsDuring WhenFn entity and wears entity and Physical
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (and (instance ?PERSON Human) (wears ?PERSON ?PE)) (exists (?PROTECT ?EYE ?INJ) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?EYE ?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ))))))	Cars.kif 3459-3485	instance Physical and ProtectiveEyewear hasPurpose Physical and instance PhysicalRSON and Human wears PhysicalRSON and Physical entity entity and entity instance entity and Process instrument entity and Physical subclass entity and KappaFn entity and entity entity instance entity and Injuring instance entity and Eye instance entity and Human properPart entity and entity patient entity and entity holdsDuring entity and patient entity and PhysicalRSON holdsDuring entity and patient entity and PhysicalRSON prevents entity and entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: