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 14643-14644
(domain wears 1 Animal) Merge.kif 14641-14641 The number 1 argument of wears is an instance of animal
(domain wears 2 WearableItem) Merge.kif 14642-14642 The number 2 argument of wears is an instance of wearable item
(instance wears BinaryPredicate) Merge.kif 14640-14640 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 62545-62545 "穿" is the printable form of wears in ChineseLanguage
(termFormat ChineseLanguage wears "穿戴") chinese_format.kif 797-797 "穿戴" is the printable form of wears in ChineseLanguage
(termFormat ChineseTraditionalLanguage wears "穿") domainEnglishFormat.kif 62544-62544 "穿" is the printable form of wears in ChineseTraditionalLanguage
(termFormat EnglishLanguage wears "wears") domainEnglishFormat.kif 62543-62543 "wears" is the printable form of wears in english language

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
(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 5571-5575
(=>
    (and
        (instance ?EARPHONE Earphone)
        (wears ?PERSON ?EARPHONE)
        (instance ?HEAD Head)
        (part ?HEAD ?PERSON))
    (located ?EARPHONE ?HEAD))
ComputerInput.kif 414-420
(=>
    (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 5539-5543
(=>
    (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
(=>
    (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 14650-14654
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 ?AGENT ?WI)
    (located ?WI ?AGENT))
Merge.kif 14646-14648

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


(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 28283-28291 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 28295-28303 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 5744-5759
(=>
    (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
(=>
    (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
(=>
    (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 14650-14654
(=>
    (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
(=>
    (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 24807-24815
(=>
    (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 ?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 3422-3452
(=>
    (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 ?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 ?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

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