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 15948-15949 | |
(domain wears 1 Animal) | Merge.kif 15946-15946 | O argumento numero 1 de wears e' uma instancia de Animal |
(domain wears 2 WearableItem) | Merge.kif 15947-15947 | O argumento numero 2 de wears e' uma instancia de WearableItem |
(instance wears BinaryPredicate) | Merge.kif 15945-15945 | wears e' uma instancia de Predicado Binario |
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 62601-62601 | |
(termFormat ChineseLanguage wears "穿戴") | chinese_format.kif 797-797 | |
(termFormat ChineseTraditionalLanguage wears "穿") | domainEnglishFormat.kif 62600-62600 | |
(termFormat EnglishLanguage wears "wears") | domainEnglishFormat.kif 62599-62599 |
antecedent |
![]() |
consequent |
![]() |
(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S)))))) |
Mid-level-ontology.kif 30120-30128 | Barefoot e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Shoe Entidade usa Entidade vale durante Posicao Temporal |
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 30133-30141 | Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal |
(=> (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 5502-5517 |
|
(=> (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 5537-5548 | |
(=> (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 5305-5313 | |
(=> (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 | |
(=> (and (wears ?A ?C) (part ?P ?C)) (wears ?A ?P)) |
Merge.kif 15955-15959 |
|
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 5071-5079 |
|
(=> (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 |
|
(=> (experiencer ?IP ?A) (exists (?IC) (and (instance ?IC IhramClothing) (holdsDuring (WhenFn ?IP) (wears ?A ?IC))))) |
ArabicCulture.kif 170-177 |
|
(=> (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 26663-26671 | |
(=> (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 5056-5065 | |
(=> (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 | |
(=> (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 | |
(=> (instance ?H Abayah) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 533-539 | |
(=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 450-456 | |
(=> (instance ?H Hijab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 502-508 | |
(=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 438-444 | |
(=> (instance ?H Jilbab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 515-521 | |
(=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 489-495 | |
(=> (instance ?H Niqab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 470-476 | |
(=> (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 4757-4767 |
|
(=> (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 4377-4388 |
|
(=> (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 3490-3517 |
|
(=> (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 3519-3532 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |