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 2425-2431 | |
(domain destination 1 Process) | Merge.kif 2421-2421 | The number 1 argument of destination is an instance of process |
(domain destination 2 Entity) | Merge.kif 2422-2422 | The number 2 argument of destination is an instance of entity |
(instance destination CaseRole) | Merge.kif 2419-2419 | destination is an instance of case role |
(instance destination PartialValuedRelation) | Merge.kif 2420-2420 | destination is an instance of partial valued relation |
(subrelation destination involvedInEvent) | Merge.kif 2423-2423 | destination is a subrelation of involved in event |
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 19258-19258 | |
(termFormat ChineseLanguage destination "终点") | chinese_format.kif 94-94 | |
(termFormat ChineseTraditionalLanguage destination "目的地") | domainEnglishFormat.kif 19257-19257 | |
(termFormat EnglishLanguage destination "destination") | domainEnglishFormat.kif 19256-19256 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |