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 14610-14611
(domain wears 1 Animal)	Merge.kif 14608-14608	domain wears, 1 and Animal
(domain wears 2 WearableItem)	Merge.kif 14609-14609	domain wears, 2 and WearableItem
(instance wears BinaryPredicate)	Merge.kif 14607-14607	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 62545-62545	termFormat ChineseLanguage, wears and "穿"
(termFormat ChineseLanguage wears "穿戴")	chinese_format.kif 797-797	termFormat ChineseLanguage, wears and "穿戴"
(termFormat ChineseTraditionalLanguage wears "穿")	domainEnglishFormat.kif 62544-62544	termFormat ChineseTraditionalLanguage, wears and "穿"
(termFormat EnglishLanguage wears "wears")	domainEnglishFormat.kif 62543-62543	termFormat EnglishLanguage, wears and "wears"

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 5342-5349	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 5569-5573	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 414-420	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 5537-5541	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 5579-5587	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 14617-14621	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 5454-5462	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 5368-5376	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 5408-5416	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)) (instance ?C WatchClock))	Mid-level-ontology.kif 3379-3385	wears Animal and WearableItem located WearableItem and Object instance WearableItem and Clock instance Object and Wrist 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 5422-5430	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 5546-5554	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 5523-5531	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 5382-5390	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 5436-5444	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 5468-5476	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 14613-14615	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 28194-28202	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 28206-28214	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 5742-5757	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 5776-5787	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 5579-5587	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 14617-14621	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 5368-5376	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 24711-24719	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 5354-5363	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 3422-3452	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 4728-4738	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 4341-4352	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 3458-3484	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: