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 16087-16088
(domain wears 1 Animal)	Merge.kif 16085-16085	The number 1 argument of wears is an instance of animal
(domain wears 2 WearableItem)	Merge.kif 16086-16086	The number 2 argument of wears is an instance of wearable item
(instance wears BinaryPredicate)	Merge.kif 16084-16084	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 802-802
(format FrenchLanguage wears "%1 %n{ne} porte %n{pas} %2")	french_format.kif 479-479
(format JapaneseLanguage wears "%1 は % を wear%p{s} %n{ない}")	english_format.kif 803-803
(format PortugueseLanguage wears "%1 %n{nao} usa %n %2")	portuguese_format.kif 431-431
(format ro wears "%1 %n{nu} wear%t{poartã} %2")	relations-ro.kif 501-501
(termFormat ChineseLanguage wears "穿")	domainEnglishFormat.kif 62624-62624
(termFormat ChineseLanguage wears "穿戴")	chinese_format.kif 797-797
(termFormat ChineseTraditionalLanguage wears "穿")	domainEnglishFormat.kif 62623-62623
(termFormat EnglishLanguage wears "wears")	domainEnglishFormat.kif 62622-62622

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 5999-6007	If an entity is an instance of outdoor clothing and another entity wears the entity holds during a time position, then there doesn't exist a third entity such that the third entity is an instance of building and the other entity is located at the third entity holds during the time position
(=> (and (instance ?DRESS Dress) (wears ?PERSON ?DRESS)) (instance ?PERSON Woman))	Mid-level-ontology.kif 6252-6256	If a wearable item is an instance of dress and an animal wears the wearable item, then the animal is an instance of woman
(=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD))	ComputerInput.kif 510-516	If a wearable item is an instance of earphone and an animal wears the wearable item and an object is an instance of head and the object is a part of the animal, then the wearable item is located at the object
(=> (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 3508-3537	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
(=> (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 an animal is an instance of ihram clothing and the animal wears a wearable item and male is an attribute of the wearable item, then there exist a physical, another physical and a third physical such that the physical is an instance of cloak and the other physical is an instance of belt and the third physical is an instance of sandal and the physical is a member of the animal and the other physical is a member of the animal and the third physical is a member of the animal
(=> (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 3450-3478	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
(=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human))	Mid-level-ontology.kif 6218-6222	If a wearable item is an instance of shirt and an animal wears the wearable item, then the animal is an instance of 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 6262-6270	If a collection is an instance of clothing suit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
(=> (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 a collection is an instance of outfit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
(=> (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 3592-3613	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P))	Merge.kif 16094-16098	If an animal wears a wearable item and another wearable item is a part of the wearable item, then the animal wears the other wearable item
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L))))	Mid-level-ontology.kif 6125-6133	If an animal wears a self connected object and the self connected object is an instance of trousers, then there exists an object such that the object is an instance of leg and the object is a part of the animal and the self connected object contains the object
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 6028-6036	If an animal wears a wearable item and the wearable item is an instance of belt, then there exists another wearable item such that the other wearable item is an instance of clothing and the animal wears the other wearable item and the wearable item meets the other wearable item
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N))))	Mid-level-ontology.kif 6076-6084	If an animal wears a wearable item and the wearable item is an instance of collar, then there exists an object such that the object is an instance of neck and the object is a part of the animal and the wearable item meets the object
(=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock))	Mid-level-ontology.kif 3359-3366	If an animal wears a wearable item and the wearable item is located at an object and the wearable item is an instance of clock and the object is an instance of wrist and the object is a part of the animal, then the wearable item is an instance of watch clock
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H))))	Mid-level-ontology.kif 6091-6099	If an animal wears a wearable item and the wearable item is an instance of glove, then there exists an object such that the object is an instance of hand and the object is a part of the animal and the wearable item meets the object
(=> (and (wears ?P ?S) (instance ?S Sleeve)) (exists (?A) (and (instance ?A Arm) (part ?A ?P) (contains ?S ?A))))	Mid-level-ontology.kif 6229-6237	If an animal wears a self connected object and the self connected object is an instance of sleeve, then there exists an object such that the object is an instance of arm and the object is a part of the animal and the self connected object contains the object
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F))))	Mid-level-ontology.kif 6203-6211	If an animal wears a self connected object and the self connected object is an instance of sock, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the self connected object contains the object
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N))))	Mid-level-ontology.kif 6042-6050	If an animal wears a self connected object and the self connected object is an instance of tie clothing, then there exists an object such that the object is an instance of neck and the object is a part of the animal and the self connected object contains the object
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 6106-6114	If an animal wears a wearable item and the wearable item is an instance of hat, then there exists an object such that the object is an instance of head and the object is a part of the animal and the wearable item meets the object
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 6140-6148	If an animal wears a wearable item and the wearable item is an instance of shoe, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the wearable item meets the object
(=> (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C))))) (holdsDuring ?T (attribute ?A Naked)))	Mid-level-ontology.kif 31822-31830	If there doesn't exist an entity such that the entity is an instance of clothing and another entity wears the entity holds during a time position, then naked is an attribute of the other entity holds during the time position
(=> (wears ?AGENT ?WI) (located ?WI ?AGENT))	Merge.kif 16090-16092	If an animal wears a wearable item, then the wearable item is located at the animal

consequent

(=> (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 6459-6474	If a process is an instance of dressing and an agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of clothing and the agent doesn't wear the entity holds during the beginning of the time of existence of the process and the agent wears the entity holds during the end of the time of existence of the process
(=> (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 6494-6505	If a process is an instance of removing clothing and an agent is an agent of the process and an entity is a patient of the process, then the agent wears the entity holds during the beginning of the time of existence of the process and the agent doesn't wear the entity holds during the end of the time of existence of the process
(=> (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 6262-6270	If a collection is an instance of clothing suit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
(=> (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 a collection is an instance of outfit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P))	Merge.kif 16094-16098	If an animal wears a wearable item and another wearable item is a part of the wearable item, then the animal wears the other wearable item
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C))))	Mid-level-ontology.kif 6028-6036	If an animal wears a wearable item and the wearable item is an instance of belt, then there exists another wearable item such that the other wearable item is an instance of clothing and the animal wears the other wearable item and the wearable item meets the other wearable item
(=> (dressCode ?CODE ?AGENT) (modalAttribute (exists (?OUTFIT ?T) (and (instance ?OUTFIT Outfit) (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (holdsDuring ?T (forall (?CUST ?ITEM) (and (customer ?CUST ?AGENT) (locatedAtTime ?CUST ?T ?AGENT) (member ?ITEM ?OUTFIT) (wears ?CUST ?ITEM)))))) Obligation))	Dining.kif 492-505	If an agent requires customers to wear an ambience, then the statement there exist an entity and another entity such that the entity is an instance of outfit and the agent believes the entity is the ambience and for all a third entity and a fourth entity the agent is a customer of the third entity and the third entity located at time the other entity for the agent and the fourth entity is a member of the entity and the third entity wears the fourth entity holds during the other entity has the modal force of obligation
(=> (experiencer ?IP ?A) (exists (?IC) (and (instance ?IC IhramClothing) (holdsDuring (WhenFn ?IP) (wears ?A ?IC)))))	ArabicCulture.kif 170-177	If an agent experiences a process, then there exists an entity such that the entity is an instance of ihram clothing and the agent wears the entity holds during the time of existence of the process
(=> (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 28333-28341	If a group has uniform a kind of uniform, then the statement there exist an entity, another entity and a third entity such that the entity is a member of the group and the other entity is an instance of a kind of uniform and the entity wears the other entity holds during the third entity 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 31812-31820	If naked is an attribute of an entity holds during a time position, then there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position
(=> (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 6013-6022	If a physical is an instance of apron, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of cooking and the entity is an agent of the other entity and the entity wears the physical holds during the time of existence of the other entity
(=> (instance ?G Gutrah) (hasPurpose ?G (=> (exists (?S ?T ?H ?AREA) (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (hotSeasonInArea ?AREA ?S))) (during ?T ?S))))	ArabicCulture.kif 376-387	If a physical is an instance of gutrah, then the physical has the purpose if there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity wears the physical holds during the other entity and the third entity is located at the fourth entity holds during the other entity and the entity is a hot season in area of the fourth entity, then the other entity takes place during the entity
(=> (instance ?G Shimagh) (hasPurpose ?G (=> (exists (?S ?T ?H ?AREA) (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (coldSeasonInArea ?AREA ?S))) (during ?T ?S))))	ArabicCulture.kif 399-410	If a physical is an instance of shimagh, then the physical has the purpose if there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity wears the physical holds during the other entity and the third entity is located at the fourth entity holds during the other entity and the entity is a cold season in area of the fourth entity, then the other entity takes place during the entity
(=> (instance ?H Abayah) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 533-539	If a physical is an instance of abayah, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H)))))	ArabicCulture.kif 450-456	If a physical is an instance of dishdashah, then the physical has the purpose there exists an entity such that the entity is an instance of man and the entity wears the physical
(=> (instance ?H Hijab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 502-508	If a physical is an instance of hijab, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H)))))	ArabicCulture.kif 438-444	If a physical is an instance of jallabiyyah, then the physical has the purpose there exists an entity such that the entity is an instance of man and the entity wears the physical
(=> (instance ?H Jilbab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 515-521	If a physical is an instance of jilbab, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 489-495	If a physical is an instance of khimar, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Niqab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 470-476	If a physical is an instance of niqab, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the 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 4810-4820	If a physical is an instance of motorcycle glove, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of driving and the other entity is an agent of the third entity and the entity is an instrument for the third entity and the entity is an instance of motorcycle and the other entity wears the physical holds during the time of existence of the third entity
(=> (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 4430-4441	If a physical is an instance of motorcycle helmet, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of driving and the entity is an agent of the other entity and the third entity is an instance of motorcycle and the third entity is a patient of the other entity and the entity is an instance of human and the entity wears the physical holds during the time of existence of the other entity
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (exists (?PERSON) (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 3543-3570	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
(=> (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 3572-3585	If a physical is an instance of protective eyewear, then the physical has the purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON wears the physical and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity
(=> (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 6280-6291	If a physical is an instance of pajamas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the entity is an agent of the other entity and the entity wears the physical holds during the other entity and the other entity is an instance of sleeping or the other entity is an instance of staying still

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: