Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wears
wears

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 14744-14745
(domain wears 1 Animal) Merge.kif 14742-14742 The number 1 argument of wears is an instance of animal
(domain wears 2 WearableItem) Merge.kif 14743-14743 The number 2 argument of wears is an instance of wearable item
(instance wears BinaryPredicate) Merge.kif 14741-14741 wears is an instance of binary predicate

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 5345-5352
(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 5577-5581
(=>
    (and
        (instance ?EARPHONE Earphone)
        (wears ?PERSON ?EARPHONE)
        (instance ?HEAD Head)
        (part ?HEAD ?PERSON))
    (located ?EARPHONE ?HEAD))
ComputerInput.kif 536-542
(=>
    (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
(=>
    (and
        (instance ?SHIRT Shirt)
        (wears ?PERSON ?SHIRT))
    (instance ?PERSON Human))
Mid-level-ontology.kif 5545-5549
(=>
    (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
(=>
    (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
(=>
    (and
        (wears ?A ?C)
        (part ?P ?C))
    (wears ?A ?P))
Merge.kif 14751-14755
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 ?AGENT ?WI)
    (located ?WI ?AGENT))
Merge.kif 14747-14749

consequent
-------------------------


(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 28347-28355 Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity は % を wears %n{ない} holds during the time position
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 28359-28367 Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity は % を wears %n{ない} holds during the time position
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (wears ?A ?C)
        (part ?P ?C))
    (wears ?A ?P))
Merge.kif 14751-14755
(=>
    (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
(=>
    (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
(=>
    (experiencer ?IP ?A)
    (exists (?IC)
        (and
            (instance ?IC IhramClothing)
            (holdsDuring
                (WhenFn ?IP)
                (wears ?A ?IC)))))
ArabicCulture.kif 161-168
(=>
    (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 24871-24879
(=>
    (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 ?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 ?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 ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 518-524
(=>
    (instance ?H Dishdashah)
    (hasPurpose ?H
        (exists (?M)
            (and
                (instance ?M Man)
                (wears ?M ?H)))))
ArabicCulture.kif 435-441
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 487-493
(=>
    (instance ?H Jallabiyyah)
    (hasPurpose ?H
        (exists (?M)
            (and
                (instance ?M Man)
                (wears ?M ?H)))))
ArabicCulture.kif 423-429
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 500-506
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 474-480
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 455-461
(=>
    (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 ?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 ?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 ?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

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