  wears
|
|
Sigma KEE - wears
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(wears ?AGENT ?WI)
(located ?WI ?AGENT)) |
Merge.kif 16273-16275 |
If X wears Y, then Y is located at X |
(=>
(and
(wears ?A ?C)
(part ?P ?C))
(wears ?A ?P)) |
Merge.kif 16277-16281 |
If X wears Y and Z is a part of Y, then X wears Z |
(=>
(and
(wears ?P ?C)
(located ?C ?W)
(instance ?C Clock)
(instance ?W Wrist)
(part ?W ?P))
(instance ?C WatchClock)) |
Mid-level-ontology.kif 3524-3531 |
If X wears Y, Y is located at Z, Y is an instance of clock, Z is an instance of wrist, and Z is a part of X, then Y is an instance of watch clock |
(=>
(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 6138-6146 |
If X is an instance of outdoor clothing and Y wears X holds during Z, then there doesn't exist W such that W is an instance of building and Y is located at W holds during Z |
(=>
(and
(wears ?P ?B)
(instance ?B Belt))
(exists (?C)
(and
(instance ?C Clothing)
(wears ?P ?C)
(meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 6167-6175 |
If X wears Y and Y is an instance of belt, then there exists Z such that Z is an instance of clothing, X wears Z, and Y meets Z |
(=>
(and
(wears ?P ?T)
(instance ?T TieClothing))
(exists (?N)
(and
(instance ?N Neck)
(part ?N ?P)
(contains ?T ?N)))) |
Mid-level-ontology.kif 6181-6189 |
If X wears Y and Y is an instance of tie, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y contains Z |
(=>
(and
(wears ?P ?C)
(instance ?C Collar))
(exists (?N)
(and
(instance ?N Neck)
(part ?N ?P)
(meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 6215-6223 |
If X wears Y and Y is an instance of collar, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y meets Z |
(=>
(and
(wears ?P ?G)
(instance ?G Glove))
(exists (?H)
(and
(instance ?H Hand)
(part ?H ?P)
(meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 6230-6238 |
If X wears Y and Y is an instance of glove, then there exists Z such that Z is an instance of hand, Z is a part of X, and Y meets Z |
(=>
(and
(wears ?PERSON ?HAT)
(instance ?HAT Hat))
(exists (?HEAD)
(and
(instance ?HEAD Head)
(part ?HEAD ?PERSON)
(meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 6245-6253 |
If X wears Y and Y is an instance of hat, then there exists Z such that Z is an instance of head, Z is a part of X, and Y meets Z |
(=>
(and
(wears ?H ?T)
(instance ?T Trousers))
(exists (?L)
(and
(instance ?L Leg)
(part ?L ?H)
(contains ?T ?L)))) |
Mid-level-ontology.kif 6264-6272 |
If X wears Y and Y is an instance of trousers, then there exists Z such that Z is an instance of leg, Z is a part of X, and Y contains Z |
(=>
(and
(wears ?PERSON ?SHOE)
(instance ?SHOE Shoe))
(exists (?FOOT)
(and
(instance ?FOOT Foot)
(part ?FOOT ?PERSON)
(meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 6279-6287 |
If X wears Y and Y is an instance of shoe, then there exists Z such that Z is an instance of foot, Z is a part of X, and Y meets Z |
(=>
(and
(wears ?P ?S)
(instance ?S Sock))
(exists (?F)
(and
(instance ?F Foot)
(part ?F ?P)
(contains ?S ?F)))) |
Mid-level-ontology.kif 6342-6350 |
If X wears Y and Y is an instance of sock, then there exists Z such that Z is an instance of foot, Z is a part of X, and Y contains Z |
(=>
(and
(instance ?SHIRT Shirt)
(wears ?PERSON ?SHIRT))
(instance ?PERSON Human)) |
Mid-level-ontology.kif 6357-6361 |
If X is an instance of shirt and Y wears X, then Y is an instance of human |
(=>
(and
(wears ?P ?S)
(instance ?S Sleeve))
(exists (?A)
(and
(instance ?A Arm)
(part ?A ?P)
(contains ?S ?A)))) |
Mid-level-ontology.kif 6368-6376 |
If X wears Y and Y is an instance of sleeve, then there exists Z such that Z is an instance of arm, Z is a part of X, and Y contains Z |
(=>
(and
(instance ?DRESS Dress)
(wears ?PERSON ?DRESS))
(instance ?PERSON Woman)) |
Mid-level-ontology.kif 6391-6395 |
If X is an instance of dress and Y wears X, then Y is an instance of woman |
(=>
(and
(instance ?SUIT ClothingSuit)
(member ?ITEM1 ?SUIT)
(member ?ITEM2 ?SUIT)
(holdsDuring ?TIME
(wears ?PERSON ?ITEM1)))
(hasPurpose ?ITEM2
(holdsDuring ?TIME
(wears ?PERSON ?ITEM2)))) |
Mid-level-ontology.kif 6401-6410 |
If X is an instance of clothing suit, Y is a member of X, Z is a member of X, and W wears Y holds during V, then Z has the purpose W wears Z holds during V |
(=>
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(wears ?A ?C)))))
(holdsDuring ?T
(attribute ?A Naked))) |
Mid-level-ontology.kif 32779-32787 |
If there doesn't exist X such that X is an instance of clothing and Y wears X holds during Z, then naked is an attribute of Y holds during Z |
(=>
(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 151-163 |
If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X |
(=>
(and
(instance ?SH SafetyHarness)
(instance ?PERSON Animal)
(wears ?PERSON ?SH))
(hasPurpose ?SH
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(instrument ?PROC ?SH)
(patient ?PROC ?PERSON)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?F ?H ?T)
(and
(instance ?H Human)
(experiencer ?I ?H)
(instance ?F Falling)
(experiencer ?F ?H)
(causes ?F ?I)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ))))) |
Cars.kif 3254-3282 |
If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W |
(=>
(and
(instance ?HP HearingProtection)
(instance ?PERSON Human)
(wears ?PERSON ?HP))
(hasPurpose ?HP
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?SOUND ?HEAR ?HUMAN ?T)
(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 3312-3341 |
If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z |
(=>
(and
(instance ?X Respirator)
(instance ?PERSON Animal)
(wears ?PERSON ?X))
(hasPurpose ?X
(exists (?INHAL ?INJ ?PROTECT ?I)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?X)
(prevents ?PROTECT ?INJ)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?H)
(and
(instance ?H Human)
(patient ?I ?H)
(instance ?INHAL Inhaling)
(agent ?INHAL ?H)
(causes ?I ?INHAL)))))))))) |
Cars.kif 3395-3416 |
If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
(=>
(and
(instance ?EARPHONE Earphone)
(wears ?PERSON ?EARPHONE)
(instance ?HEAD Head)
(part ?HEAD ?PERSON))
(located ?EARPHONE ?HEAD)) |
ComputerInput.kif 526-532 |
If X is an instance of earphone, Y wears X, Z is an instance of head, and Z is a part of Y, then X is located at Z |
(=>
(and
(instance ?X Outfit)
(member ?ITEM1 ?X)
(holdsDuring ?TIME
(wears ?PERSON ?ITEM1)))
(forall (?ITEM2)
(=>
(member ?ITEM2 ?X)
(holdsDuring ?TIME
(wears ?PERSON ?ITEM2))))) |
Dining.kif 469-479 |
If X is an instance of outfit, Y is a member of X, and Z wears Y holds during W, then For all Physical V: if V is a member of X, then Z wears V holds during W |
|
consequent
|
|
|
(=>
(instance ?WI WearableItem)
(hasPurpose ?WI
(exists (?H)
(and
(instance ?H Human)
(wears ?H ?WI))))) |
Merge.kif 16209-16215 |
If X is an instance of wearable item, then X has the purpose there exists Y such that Y is an instance of human and Y wears X |
(=>
(and
(wears ?A ?C)
(part ?P ?C))
(wears ?A ?P)) |
Merge.kif 16277-16281 |
If X wears Y and Z is a part of Y, then X wears Z |
(=>
(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 6152-6161 |
If X is an instance of apron, then X has the purpose there exist Y, Z such that Z is an instance of cooking, Y is an agent of Z, and Y wears X holds during the time of existence of Z |
(=>
(and
(wears ?P ?B)
(instance ?B Belt))
(exists (?C)
(and
(instance ?C Clothing)
(wears ?P ?C)
(meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 6167-6175 |
If X wears Y and Y is an instance of belt, then there exists Z such that Z is an instance of clothing, X wears Z, and Y meets Z |
(=>
(and
(instance ?SUIT ClothingSuit)
(member ?ITEM1 ?SUIT)
(member ?ITEM2 ?SUIT)
(holdsDuring ?TIME
(wears ?PERSON ?ITEM1)))
(hasPurpose ?ITEM2
(holdsDuring ?TIME
(wears ?PERSON ?ITEM2)))) |
Mid-level-ontology.kif 6401-6410 |
If X is an instance of clothing suit, Y is a member of X, Z is a member of X, and W wears Y holds during V, then Z has the purpose W wears Z holds during V |
(=>
(instance ?PJ Pajamas)
(hasPurpose ?PJ
(exists (?A ?REST)
(and
(instance ?A Human)
(agent ?REST ?A)
(holdsDuring ?REST
(wears ?A ?PJ))
(or
(instance ?REST Sleeping)
(instance ?REST StayingStill)))))) |
Mid-level-ontology.kif 6443-6454 |
If X is an instance of pajamas, then X has the purpose there exist Y, Z such that Y is an instance of human, Y is an agent of Z, Y wears X holds during Z, and Z is an instance of sleeping or Z is an instance of staying still |
(=>
(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 6622-6637 |
If X is an instance of dressing, Y is an agent of X, and Z is a patient of X, then Z is an instance of clothing, Y doesn't wear Z holds during the beginning of the time of existence of X, and Y wears Z holds during the end of the time of existence of X |
(=>
(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 6657-6668 |
If X is an instance of removing clothing, Y is an agent of X, and Z is a patient of X, then Y wears Z holds during the beginning of the time of existence of X and Y doesn't wear Z holds during the end of the time of existence of X |
(=>
(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 29269-29277 |
If X has uniform Y, then the statement there exist Z, W, V such that Z is a member of X, W is an instance of Y, and Z wears W holds during V has the modal force of likely |
(=>
(holdsDuring ?T
(attribute ?A Naked))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(wears ?A ?C)))))) |
Mid-level-ontology.kif 32769-32777 |
If naked is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of clothing and X wears Z holds during Y |
(=>
(experiencer ?IP ?A)
(exists (?IC)
(and
(instance ?IC IhramClothing)
(holdsDuring
(WhenFn ?IP)
(wears ?A ?IC))))) |
ArabicCulture.kif 170-177 |
If X experiences Y, then there exists Z such that Z is an instance of ihram clothing and X wears Z holds during the time of existence of Y |
(=>
(instance ?G Gutrah)
(hasPurpose ?G
(=>
(exists (?H ?AREA)
(and
(holdsDuring ?T
(wears ?H ?G))
(holdsDuring ?T
(located ?H ?AREA))
(hotSeasonInArea ?AREA ?S)))
(during ?T ?S)))) |
ArabicCulture.kif 376-387 |
If X is an instance of gutrah, then X has the purpose there exist Y, Z such that Y wears X holds during W, Y is located at Z holds during W, and V is a hot season in area of ZW takes place during V |
(=>
(instance ?G Shimagh)
(hasPurpose ?G
(=>
(and
(holdsDuring ?T
(wears ?H ?G))
(holdsDuring ?T
(located ?H ?AREA))
(coldSeasonInArea ?AREA ?S))
(during ?T ?S)))) |
ArabicCulture.kif 399-409 |
If X is an instance of shimagh, then X has the purpose Y wears X holds during Z, Y is located at W holds during Z, and V is a cold season in area of WZ takes place during V |
(=>
(instance ?H Jallabiyyah)
(hasPurpose ?H
(exists (?M)
(and
(instance ?M Man)
(wears ?M ?H))))) |
ArabicCulture.kif 437-443 |
If X is an instance of jallabiyyah, then X has the purpose there exists Y such that Y is an instance of man and Y wears X |
(=>
(instance ?H Dishdashah)
(hasPurpose ?H
(exists (?M)
(and
(instance ?M Man)
(wears ?M ?H))))) |
ArabicCulture.kif 449-455 |
If X is an instance of dishdashah, then X has the purpose there exists Y such that Y is an instance of man and Y wears X |
(=>
(instance ?H Niqab)
(hasPurpose ?H
(exists (?W)
(and
(instance ?W Woman)
(wears ?W ?H))))) |
ArabicCulture.kif 469-475 |
If X is an instance of niqab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X |
(=>
(instance ?H Khimar)
(hasPurpose ?H
(exists (?W)
(and
(instance ?W Woman)
(wears ?W ?H))))) |
ArabicCulture.kif 488-494 |
If X is an instance of khimar, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X |
(=>
(instance ?H Hijab)
(hasPurpose ?H
(exists (?W)
(and
(instance ?W Woman)
(wears ?W ?H))))) |
ArabicCulture.kif 501-507 |
If X is an instance of hijab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X |
(=>
(instance ?H Jilbab)
(hasPurpose ?H
(exists (?W)
(and
(instance ?W Woman)
(wears ?W ?H))))) |
ArabicCulture.kif 514-520 |
If X is an instance of jilbab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X |
(=>
(instance ?H Abayah)
(hasPurpose ?H
(exists (?W)
(and
(instance ?W Woman)
(wears ?W ?H))))) |
ArabicCulture.kif 532-538 |
If X is an instance of abayah, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X |
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(=>
(and
(instance ?PERSON Human)
(wears ?PERSON ?PE))
(exists (?PROTECT ?EYE ?INJ ?I ?T)
(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 3347-3373 |
If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V |
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(exists (?PERSON ?FACE ?EYE ?COVER)
(and
(instance ?PERSON Animal)
(instance ?FACE Face)
(instance ?EYE Eye)
(properPart ?EYE ?FACE)
(properPart ?FACE ?PERSON)
(wears ?PERSON ?PE)
(instance ?COVER Covering)
(agent ?COVER ?PE)
(patient ?COVER ?FACE))))) |
Cars.kif 3375-3388 |
If X is an instance of protective eyewear, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of face (4) W is an instance of eye (5) W is a proper part of Z (6) Z is a proper part of Y (7) Y wears X (8) V is an instance of covering (9) X is an agent of V (10) Z is a patient of V |
(=>
(instance ?SV SafetyVest)
(hasPurpose ?SV
(exists (?PERSON ?SPECTATOR)
(and
(instance ?PERSON Animal)
(instance ?SPECTATOR Human)
(increasesLikelihood
(wears ?PERSON ?SV)
(exists (?SEE)
(and
(instance ?SEE Seeing)
(patient ?SEE ?PERSON)
(experiencer ?SEE ?SPECTATOR))))
(decreasesLikelihood
(exists (?SEE)
(and
(instance ?SEE Seeing)
(patient ?SEE ?PERSON)
(experiencer ?SEE ?SPECTATOR)))
(exists (?INJ)
(and
(instance ?INJ Injuring)
(agent ?INJ ?SPECTATOR)
(patient ?INJ ?PERSON)))))))) |
Cars.kif 3422-3446 |
If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V |
(=>
(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 4276-4287 |
If X is an instance of motorcycle helmet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of driving (3) Y is an agent of Z (4) W is an instance of motorcycle (5) W is a patient of Z (6) Y is an instance of human (7) Y wears X holds during the time of existence of Z |
(=>
(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 4641-4651 |
If X is an instance of motorcycle glove, then X has the purpose there exist Y, Z, W such that W is an instance of driving, Z is an agent of W, Y is an instrument for W, Y is an instance of motorcycle, and Z wears X holds during the time of existence of W |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
