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 14804-14805 | |
(domain wears 1 Animal) | Merge.kif 14802-14802 | domain wears, 1 and Animal |
(domain wears 2 WearableItem) | Merge.kif 14803-14803 | domain wears, 2 and WearableItem |
(instance wears BinaryPredicate) | Merge.kif 14801-14801 | instance wears and BinaryPredicate |
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 62585-62585 | |
(termFormat ChineseLanguage wears "穿戴") | chinese_format.kif 797-797 | |
(termFormat ChineseTraditionalLanguage wears "穿") | domainEnglishFormat.kif 62584-62584 | |
(termFormat EnglishLanguage wears "wears") | domainEnglishFormat.kif 62583-62583 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |