Horizontal(横) | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Horizontal Vertical) | Merge.kif 17216-17216 | 横 是 垂直 的相反 |
(documentation Horizontal ChineseLanguage "这是用来表示一个 Object 相对于另外一个 Object 的位置是属于水平方向的属性。") | chinese_format.kif 3810-3811 | 横 是 垂直 的相反 |
(documentation Horizontal EnglishLanguage "Attribute used to indicate that an Object is positioned width-wise with respect to another Object.") | Merge.kif 17217-17218 | 横 是 垂直 的相反 |
(instance Horizontal PositionalAttribute) | Merge.kif 17215-17215 | 横 是 位置属性 的 instance |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Horizontal "横") | domainEnglishFormat.kif 28568-28568 | |
(termFormat ChineseTraditionalLanguage Horizontal "橫") | domainEnglishFormat.kif 28567-28567 | |
(termFormat EnglishLanguage Horizontal "horizontal") | domainEnglishFormat.kif 28566-28566 | |
(termFormat tg Horizontal "pahalang") | terms-tg.txt 532-532 |
antecedent |
![]() |
consequent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17220-17222 | 客体 在 另一个 客体 的 横 若且唯若 那个 另外 客体 在 那个 客体 的 横 |
(=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure)) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?D2 ?Distance))))) |
Weather.kif 3538-3555 |
|
![]() |
![]() |