consequent

! [V__WI : $i] : ((s__instance(V__WI, s__WearableItem) => s__hasPurpose(V__WI, ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__wears(V__H, V__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
! [V__A,V__C,V__P] : (((s__instance(V__A,s__Animal) &        s__instance(V__C,s__WearableItem) &        s__instance(V__P,s__WearableItem))      =>      ((s__wears(V__A,V__C)        &        s__part(V__P,V__C))    =>    s__wears(V__A,V__P))) )	Merge.kif 16277-16281	If X wears Y and Z is a part of Y, then X wears Z
! [V__A : $i] : ((s__instance(V__A, s__Apron) => s__hasPurpose(V__A, ( ? [V__P:$i, V__C:$i] : ((s__instance(V__C, s__Cooking) & s__agent(V__C, V__P) & s__holdsDuring(s__WhenFn(V__C), s__wears(V__P, V__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
! [V__P,V__B] : ((s__instance(V__P,s__Animal) =>      ((s__wears(V__P,V__B)        &        s__instance(V__B,s__Belt))      =>      (? [V__C] :        ((s__instance(V__C,s__Clothing) &            s__wears(V__P,V__C)          &          s__meetsSpatially(V__B,V__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
! [V__ITEM1 : $i,V__ITEM2 : $i,V__PERSON : $i,V__SUIT : $i,V__TIME : $i] : (((s__instance(V__SUIT, s__ClothingSuit) & s__member(V__ITEM1, V__SUIT) & s__member(V__ITEM2, V__SUIT) & s__holdsDuring(V__TIME, s__wears(V__PERSON, V__ITEM1))) => s__hasPurpose(V__ITEM2, s__holdsDuring(V__TIME, s__wears(V__PERSON, V__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
! [V__PJ : $i] : ((s__instance(V__PJ, s__Pajamas) => s__hasPurpose(V__PJ, ( ? [V__A:$i, V__REST:$i] : ((s__instance(V__A, s__Human) & s__agent(V__REST, V__A) & s__holdsDuring(V__REST, s__wears(V__A, V__PJ)) & (s__instance(V__REST, s__Sleeping) | s__instance(V__REST, s__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
! [V__AGENT : $i,V__CLOTHING : $i,V__DRESS : $i] : (((s__instance(V__DRESS, s__Dressing) & s__agent(V__DRESS, V__AGENT) & s__patient(V__DRESS, V__CLOTHING)) => (s__instance(V__CLOTHING, s__Clothing) & s__holdsDuring(s__BeginFn(s__WhenFn(V__DRESS)), ~(s__wears(V__AGENT, V__CLOTHING))) & s__holdsDuring(s__EndFn(s__WhenFn(V__DRESS)), s__wears(V__AGENT, V__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
! [V__AGENT : $i,V__CLOTHING : $i,V__REMOVE : $i] : (((s__instance(V__REMOVE, s__RemovingClothing) & s__agent(V__REMOVE, V__AGENT) & s__patient(V__REMOVE, V__CLOTHING)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__REMOVE)), s__wears(V__AGENT, V__CLOTHING)) & s__holdsDuring(s__EndFn(s__WhenFn(V__REMOVE)), ~(s__wears(V__AGENT, V__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
! [V__GRP : $i,V__UNIFORM : $i] : ((s__hasUniform(V__GRP, V__UNIFORM) => s__modalAttribute(( ? [V__PERS:$i, V__CLOTHING:$i, V__TIME:$i] : ((s__member(V__PERS, V__GRP) & s__instance(V__CLOTHING, V__UNIFORM) & s__holdsDuring(V__TIME, s__wears(V__PERS, V__CLOTHING))))), s__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
! [V__A : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__A, s__Naked)) => s__holdsDuring(V__T, ~(( ? [V__C:$i] : ((s__instance(V__C, s__Clothing) & s__wears(V__A, V__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
! [V__A : $i,V__IP : $i] : ((s__experiencer(V__IP, V__A) => ( ? [V__IC:$i] : ((s__instance(V__IC, s__IhramClothing) & s__holdsDuring(s__WhenFn(V__IP), s__wears(V__A, V__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
! [V__G : $i,V__S : $i,V__T : $i] : ((s__instance(V__G, s__Gutrah) => s__hasPurpose(V__G, (( ? [V__H:$i, V__AREA:$i] : ((s__holdsDuring(V__T, s__wears(V__H, V__G)) & s__holdsDuring(V__T, s__located(V__H, V__AREA)) & s__hotSeasonInArea(V__AREA, V__S)))) => s__during(V__T, V__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
! [V__AREA : $i,V__G : $i,V__H : $i,V__S : $i,V__T : $i] : ((s__instance(V__G, s__Shimagh) => s__hasPurpose(V__G, ((s__holdsDuring(V__T, s__wears(V__H, V__G)) & s__holdsDuring(V__T, s__located(V__H, V__AREA)) & s__coldSeasonInArea(V__AREA, V__S)) => s__during(V__T, V__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
! [V__H : $i] : ((s__instance(V__H, s__Jallabiyyah) => s__hasPurpose(V__H, ( ? [V__M:$i] : ((s__instance(V__M, s__Man) & s__wears(V__M, V__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
! [V__H : $i] : ((s__instance(V__H, s__Dishdashah) => s__hasPurpose(V__H, ( ? [V__M:$i] : ((s__instance(V__M, s__Man) & s__wears(V__M, V__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
! [V__H : $i] : ((s__instance(V__H, s__Niqab) => s__hasPurpose(V__H, ( ? [V__W:$i] : ((s__instance(V__W, s__Woman) & s__wears(V__W, V__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
! [V__H : $i] : ((s__instance(V__H, s__Khimar) => s__hasPurpose(V__H, ( ? [V__W:$i] : ((s__instance(V__W, s__Woman) & s__wears(V__W, V__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
! [V__H : $i] : ((s__instance(V__H, s__Hijab) => s__hasPurpose(V__H, ( ? [V__W:$i] : ((s__instance(V__W, s__Woman) & s__wears(V__W, V__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
! [V__H : $i] : ((s__instance(V__H, s__Jilbab) => s__hasPurpose(V__H, ( ? [V__W:$i] : ((s__instance(V__W, s__Woman) & s__wears(V__W, V__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
! [V__H : $i] : ((s__instance(V__H, s__Abayah) => s__hasPurpose(V__H, ( ? [V__W:$i] : ((s__instance(V__W, s__Woman) & s__wears(V__W, V__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
! [V__PE : $i,V__PERSON : $i] : ((s__instance(V__PE, s__ProtectiveEyewear) => s__hasPurpose(V__PE, ((s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__PE)) => ( ? [V__PROTECT:$i, V__EYE:$i, V__INJ:$i, V__I:$i, V__T:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__PE) & s__subclass(V__INJ, s__KappaFn(V__I, ( ? [V__HUMAN:$i] : ((s__instance(V__I, s__Injuring) & s__instance(V__EYE, s__Eye) & s__instance(V__HUMAN, s__Human) & s__properPart(V__EYE, V__HUMAN) & s__patient(V__I, V__EYE) & (s__holdsDuring(V__T, s__patient(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROTECT, V__PERSON))))))))) & s__prevents(V__PROTECT, V__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
! [V__PE : $i] : ((s__instance(V__PE, s__ProtectiveEyewear) => s__hasPurpose(V__PE, ( ? [V__PERSON:$i, V__FACE:$i, V__EYE:$i, V__COVER:$i] : ((s__instance(V__PERSON, s__Animal) & s__instance(V__FACE, s__Face) & s__instance(V__EYE, s__Eye) & s__properPart(V__EYE, V__FACE) & s__properPart(V__FACE, V__PERSON) & s__wears(V__PERSON, V__PE) & s__instance(V__COVER, s__Covering) & s__agent(V__COVER, V__PE) & s__patient(V__COVER, V__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
! [V__SV : $i] : ((s__instance(V__SV, s__SafetyVest) => s__hasPurpose(V__SV, ( ? [V__PERSON:$i, V__SPECTATOR:$i] : ((s__instance(V__PERSON, s__Animal) & s__instance(V__SPECTATOR, s__Human) & s__increasesLikelihood(s__wears(V__PERSON, V__SV), ( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR))))) & s__decreasesLikelihood(( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR)))), ( ? [V__INJ:$i] : ((s__instance(V__INJ, s__Injuring) & s__agent(V__INJ, V__SPECTATOR) & s__patient(V__INJ, V__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
! [V__MH : $i] : ((s__instance(V__MH, s__MotorcycleHelmet) => s__hasPurpose(V__MH, ( ? [V__P:$i, V__D:$i, V__M:$i] : ((s__instance(V__D, s__Driving) & s__agent(V__D, V__P) & s__instance(V__M, s__Motorcycle) & s__patient(V__D, V__M) & s__instance(V__P, s__Human) & s__holdsDuring(s__WhenFn(V__D), s__wears(V__P, V__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
! [V__MG : $i] : ((s__instance(V__MG, s__MotorcycleGlove) => s__hasPurpose(V__MG, ( ? [V__M:$i, V__D:$i, V__T:$i] : ((s__instance(V__T, s__Driving) & s__agent(V__T, V__D) & s__instrument(V__T, V__M) & s__instance(V__M, s__Motorcycle) & s__holdsDuring(s__WhenFn(V__T), s__wears(V__D, V__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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners