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 14807-14808
(domain wears 1 Animal)	Merge.kif 14805-14805	domain wears, 1 and Animal
(domain wears 2 WearableItem)	Merge.kif 14806-14806	domain wears, 2 and WearableItem
(instance wears BinaryPredicate)	Merge.kif 14804-14804	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 JapaneseLanguage wears "%1 は % を wear%p{s} %n{ない}")	english_format.kif 806-806
(termFormat ChineseLanguage wears "穿")	domainEnglishFormat.kif 62567-62567
(termFormat ChineseLanguage wears "穿戴")	chinese_format.kif 797-797
(termFormat ChineseTraditionalLanguage wears "穿")	domainEnglishFormat.kif 62566-62566
(termFormat EnglishLanguage wears "wears")	domainEnglishFormat.kif 62565-62565

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 4739-4747	instance Entity and OutdoorClothing holdsDuring TimePosition and entity は % を wears %n{ない} 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 4978-4982	instance WearableItem and Dress Animal は % を wears %n{ない} 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 Animal は % を wears %n{ない} 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 Animal は % を wears %n{ない} 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 4945-4949	instance WearableItem and Shirt Animal は % を wears %n{ない} 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 4988-4996	instance Collection and ClothingSuit member Object and Collection holdsDuring TimePosition and entity は % を wears %n{ない} Object member Object and Collection holdsDuring TimePosition and entity は % を wears %n{ない}
(=> (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 entity は % を wears %n{ない} Object member Object and Collection holdsDuring TimePosition and entity は % を wears %n{ない}
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P))	Merge.kif 14814-14818	Animal は % を wears %n{ない} part WearableItem and WearableItem Animal は % を wears %n{ない}
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L))))	Mid-level-ontology.kif 4856-4864	Animal は % を wears %n{ない} instance SelfConnectedObject and Trousers Object instance Object and Leg part Object and Animal SelfConnectedObject は Object を contains %n{ない}
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 4768-4776	Animal は % を wears %n{ない} instance WearableItem and Belt WearableItem instance WearableItem and Clothing Animal は % を wears %n{ない} 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 4809-4817	Animal は % を wears %n{ない} 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 2829-2836	Animal は % を wears %n{ない} 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 4824-4832	Animal は % を wears %n{ない} 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 4955-4963	Animal は % を wears %n{ない} instance SelfConnectedObject and Sleeve Object instance Object and Arm part Object and Animal SelfConnectedObject は Object を contains %n{ない}
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F))))	Mid-level-ontology.kif 4931-4939	Animal は % を wears %n{ない} instance SelfConnectedObject and Sock Object instance Object and Foot part Object and Animal SelfConnectedObject は Object を contains %n{ない}
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N))))	Mid-level-ontology.kif 4782-4790	Animal は % を wears %n{ない} instance SelfConnectedObject and TieClothing Object instance Object and Neck part Object and Animal SelfConnectedObject は Object を contains %n{ない}
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 4838-4846	Animal は % を wears %n{ない} 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 4870-4878	Animal は % を wears %n{ない} 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 14810-14812	Animal は % を wears %n{ない} 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 26355-26363	holdsDuring TimePosition and attribute entity and Barefoot holdsDuring TimePosition and entity instance entity and Shoe entity は % を wears %n{ない}
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))))	Mid-level-ontology.kif 26368-26376	holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing entity は % を wears %n{ない}
(=> (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 5155-5170	instance Process and Dressing agent Process and Agent patient Process and Entity instance Entity and Clothing holdsDuring BeginFn WhenFn Process and Agent は % を wear ない holdsDuring EndFn WhenFn Process and Agent は % を wears %n{ない}
(=> (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 5190-5201	instance Process and RemovingClothing agent Process and Agent patient Process and Entity holdsDuring BeginFn WhenFn Process and Agent は % を wears %n{ない} holdsDuring EndFn WhenFn Process and Agent は % を wear ない
(=> (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 4988-4996	instance Collection and ClothingSuit member Object and Collection holdsDuring TimePosition and entity は % を wears %n{ない} Object member Object and Collection holdsDuring TimePosition and entity は % を wears %n{ない}
(=> (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 entity は % を wears %n{ない} Object member Object and Collection holdsDuring TimePosition and entity は % を wears %n{ない}
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P))	Merge.kif 14814-14818	Animal は % を wears %n{ない} part WearableItem and WearableItem Animal は % を wears %n{ない}
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 4768-4776	Animal は % を wears %n{ない} instance WearableItem and Belt WearableItem instance WearableItem and Clothing Animal は % を wears %n{ない} 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 entity は % を wears %n{ない} 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 Agent は % を wears %n{ない}
(=> (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 22869-22877	hasUniform Group and UniformClothing modalAttribute entity entity and entity member entity and Group instance entity and UniformClothing holdsDuring entity and entity は % を wears %n{ない} 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 4753-4762	instance Physical and Apron hasPurpose Physical and entity entity instance entity and Cooking agent entity and entity holdsDuring WhenFn entity and entity は % を wears %n{ない}
(=> (instance ?G Gutrah) (hasPurpose ?G (=> (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (hotSeasonInArea ?AREA ?S)) (during ?T ?S))))	ArabicCulture.kif 365-375	instance Physical and Gutrah hasPurpose Physical and holdsDuring entity and entity は % を wears %n{ない} 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 387-397	instance Physical and Shimagh hasPurpose Physical and holdsDuring entity and entity は % を wears %n{ない} 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 520-526	instance Physical and Abayah hasPurpose Physical and entity instance entity and Woman entity は % を wears %n{ない}
(=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H)))))	ArabicCulture.kif 437-443	instance Physical and Dishdashah hasPurpose Physical and entity instance entity and Man entity は % を wears %n{ない}
(=> (instance ?H Hijab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 489-495	instance Physical and Hijab hasPurpose Physical and entity instance entity and Woman entity は % を wears %n{ない}
(=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H)))))	ArabicCulture.kif 425-431	instance Physical and Jallabiyyah hasPurpose Physical and entity instance entity and Man entity は % を wears %n{ない}
(=> (instance ?H Jilbab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 502-508	instance Physical and Jilbab hasPurpose Physical and entity instance entity and Woman entity は % を wears %n{ない}
(=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 476-482	instance Physical and Khimar hasPurpose Physical and entity instance entity and Woman entity は % を wears %n{ない}
(=> (instance ?H Niqab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 457-463	instance Physical and Niqab hasPurpose Physical and entity instance entity and Woman entity は % を wears %n{ない}
(=> (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 3462-3492	instance Physical and HearingProtection hasPurpose Physical and instance entity and Human entity は % を wears %n{ない} 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 4772-4782	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 entity は % を wears %n{ない}
(=> (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 4385-4396	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 entity は % を wears %n{ない}
(=> (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 3499-3525	instance Physical and ProtectiveEyewear hasPurpose Physical and instance PhysicalRSON and Human PhysicalRSON は % を wears %n{ない} 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: