path |
appearance as argument number 1 |
![]() |
(documentation path ChineseLanguage "(path ?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。") | chinese_format.kif 3000-3001 | |
(documentation path EnglishLanguage "(path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.") | Merge.kif 10948-10950 | |
(domain path 1 Motion) | Merge.kif 10945-10945 | 路径 的 1 数量 是 运动 的 instance |
(domain path 2 Object) | Merge.kif 10946-10946 | 路径 的 2 数量 是 客体 的 instance |
(instance path CaseRole) | Merge.kif 10940-10940 | 路径 是 格角色 的 instance |
(instance path TotalValuedRelation) | Merge.kif 10941-10941 | 路径 是 总值关系 的 instance |
(subrelation path eventPartlyLocated) | Merge.kif 10944-10944 | 路径 是 eventPartlyLocated 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage path "%2%n是%1发生的path") | chinese_format.kif 575-575 | |
(format EnglishLanguage path "%2 is %n path along which %1 occurs") | english_format.kif 580-580 | |
(termFormat ChineseLanguage path "路径") | chinese_format.kif 576-576 | |
(termFormat ChineseTraditionalLanguage path "路徑") | domainEnglishFormat.kif 44742-44742 | |
(termFormat EnglishLanguage path "path") | domainEnglishFormat.kif 44741-44741 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |