direction |
appearance as argument number 1 |
![]() |
(documentation direction ChineseLanguage "(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如:我们会用这个 Predicate 来代表马斯正在向 North 移动。") | chinese_format.kif 3789-3790 | |
(documentation direction EnglishLanguage "(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North.") | Merge.kif 15803-15806 | |
(domain direction 1 Process) | Merge.kif 15800-15800 | domain direction, 1 and Process |
(domain direction 2 PositionalAttribute) | Merge.kif 15801-15801 | domain direction, 2 and PositionalAttribute |
(instance direction CaseRole) | Merge.kif 15798-15798 | instance direction and CaseRole |
(instance direction PartialValuedRelation) | Merge.kif 15799-15799 | instance direction and PartialValuedRelation |
(subrelation direction involvedInEvent) | Merge.kif 15802-15802 | subrelation direction and involvedInEvent |
appearance as argument number 2 |
![]() |
(format ChineseLanguage direction "%1 过程的实体 %n 向 %2") | chinese_format.kif 588-588 | |
(format EnglishLanguage direction "entities in the process %1 are %n moving %2") | english_format.kif 595-595 | |
(termFormat ChineseLanguage direction "方向") | chinese_format.kif 589-589 | |
(termFormat ChineseTraditionalLanguage direction "方向") | domainEnglishFormat.kif 19683-19683 | |
(termFormat EnglishLanguage direction "direction") | domainEnglishFormat.kif 19682-19682 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |