origin |
appearance as argument number 1 |
![]() |
(documentation origin ChineseLanguage "(origin ?PROCESS ?SOURCE) 的意思是 ?SOURCE 指出 ?Process 从哪开始。注:这个关系意味着 ?SOURCE 在过程开始时是存在的,但是它不一定有参与 整个过程中。例如:在以下'导弹是从潜艇发射的'这命题,潜艇是个 origin。") | chinese_format.kif 1879-1881 | |
(documentation origin EnglishLanguage "(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.") | Merge.kif 2432-2437 | |
(domain origin 1 Process) | Merge.kif 2428-2428 | domain origin, 1 and Process |
(domain origin 2 Object) | Merge.kif 2429-2429 | domain origin, 2 and Object |
(instance origin CaseRole) | Merge.kif 2426-2426 | instance origin and CaseRole |
(instance origin PartialValuedRelation) | Merge.kif 2427-2427 | instance origin and PartialValuedRelation |
(subrelation origin involvedInEvent) | Merge.kif 2430-2430 | subrelation origin and involvedInEvent |
appearance as argument number 2 |
![]() |
(format ChineseLanguage origin "%2 %n 是 %1 的源头") | chinese_format.kif 159-159 | |
(format EnglishLanguage origin "%1 %n{doesn't} originate%p{s} at %2") | english_format.kif 160-160 | |
(termFormat ChineseLanguage origin "源头") | chinese_format.kif 160-160 | |
(termFormat ChineseLanguage origin "起源") | domainEnglishFormat.kif 42565-42565 | |
(termFormat ChineseTraditionalLanguage origin "起源") | domainEnglishFormat.kif 42564-42564 | |
(termFormat EnglishLanguage origin "origin") | domainEnglishFormat.kif 42563-42563 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |