result |
appearance as argument number 1 |
![]() |
(disjointRelation result instrument) | Merge.kif 2492-2492 | result and instrument are disjoint |
(documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个 result。") | chinese_format.kif 1895-1896 | |
(documentation result EnglishLanguage "(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house.") | Merge.kif 2531-2533 | |
(domain result 1 Process) | Merge.kif 2528-2528 | The number 1 argument of result is an instance of process |
(domain result 2 Entity) | Merge.kif 2529-2529 | The number 2 argument of result is an instance of entity |
(instance result CaseRole) | Merge.kif 2526-2526 | result is an instance of case role |
(instance result PartialValuedRelation) | Merge.kif 2527-2527 | result is an instance of partial valued relation |
(subrelation result patient) | Merge.kif 2525-2525 | result is a subrelation of patient |
appearance as argument number 2 |
![]() |
(disjointRelation resource result) | Merge.kif 2490-2490 | resource and result are disjoint |
(format ChineseLanguage result "%2 %n 是 %1 的 result") | chinese_format.kif 183-183 | |
(format EnglishLanguage result "%2 is %n a result of %1") | english_format.kif 184-184 | |
(termFormat ChineseLanguage result "结果") | chinese_format.kif 184-184 | |
(termFormat ChineseTraditionalLanguage result "結果") | domainEnglishFormat.kif 49781-49781 | |
(termFormat EnglishLanguage result "result") | domainEnglishFormat.kif 49780-49780 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |