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 14761-14762
(domain wears 1 Animal)	Merge.kif 14759-14759	domain wears, 1 and Animal
(domain wears 2 WearableItem)	Merge.kif 14760-14760	domain wears, 2 and WearableItem
(instance wears BinaryPredicate)	Merge.kif 14758-14758	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 62509-62509
(termFormat ChineseLanguage wears "穿戴")	chinese_format.kif 797-797
(termFormat ChineseTraditionalLanguage wears "穿")	domainEnglishFormat.kif 62508-62508
(termFormat EnglishLanguage wears "wears")	domainEnglishFormat.kif 62507-62507

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 5345-5352	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 5577-5581	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 5545-5549	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 5587-5595	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 14768-14772	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 5457-5465	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 5371-5379	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 5411-5419	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 3383-3390	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 5425-5433	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 5554-5562	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 5531-5539	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 5385-5393	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 5439-5447	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 5471-5479	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 14764-14766	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 28319-28327	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 28331-28339	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 5750-5765	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 5784-5795	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 5587-5595	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 14768-14772	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 5371-5379	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 24844-24852	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 5357-5366	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 4730-4740	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 4343-4354	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 (?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 3460-3486	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 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: