destination |
appearance as argument number 1 |
![]() |
(documentation destination ChineseLanguage "(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如:在以下'鲍勃去了丹伯里'这命题中,鲍勃会是终点。注:这是一个 非常概括的 CaseRole, 而特别是它包括'接受者' 和 '受益者'这两个概念,故此,在以下 '汤姆给了约翰一本书'这命题中,约翰会是 destination。") | chinese_format.kif 1868-1871 | |
(documentation destination EnglishLanguage "(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the destination in the following proposition: Tom gave a book to John.") | Merge.kif 2396-2402 | |
(domain destination 1 Process) | Merge.kif 2392-2392 | domain destination, 1 and Process |
(domain destination 2 Entity) | Merge.kif 2393-2393 | domain destination, 2 and Entity |
(instance destination CaseRole) | Merge.kif 2390-2390 | instance destination and CaseRole |
(instance destination PartialValuedRelation) | Merge.kif 2391-2391 | instance destination and PartialValuedRelation |
(subrelation destination involvedInEvent) | Merge.kif 2394-2394 | subrelation destination and involvedInEvent |
appearance as argument number 2 |
![]() |
(format ChineseLanguage destination "%1 %n{doesn't} %n 在 %2 结束") | chinese_format.kif 93-93 | |
(format EnglishLanguage destination "%1 %n{doesn't} end%p{s} up at %2") | english_format.kif 93-93 | |
(termFormat ChineseLanguage destination "目的地") | domainEnglishFormat.kif 19263-19263 | |
(termFormat ChineseLanguage destination "终点") | chinese_format.kif 94-94 | |
(termFormat ChineseTraditionalLanguage destination "目的地") | domainEnglishFormat.kif 19262-19262 | |
(termFormat EnglishLanguage destination "destination") | domainEnglishFormat.kif 19261-19261 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |