oppositeDirection |
appearance as argument number 1 |
![]() |
(documentation oppositeDirection EnglishLanguage "(oppositeDirection ?DIR1 ?DIR2) means that the PositionalAttribute ?DIR1 points in the compass direction opposite to the DirectionalAttribute ?DIR2.") | Mid-level-ontology.kif 19700-19702 | |
(domain oppositeDirection 1 PositionalAttribute) | Mid-level-ontology.kif 19697-19697 | |
(domain oppositeDirection 2 PositionalAttribute) | Mid-level-ontology.kif 19698-19698 | |
(instance oppositeDirection BinaryPredicate) | Mid-level-ontology.kif 19694-19694 | |
(instance oppositeDirection IrreflexiveRelation) | Mid-level-ontology.kif 19696-19696 | |
(instance oppositeDirection SymmetricRelation) | Mid-level-ontology.kif 19695-19695 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1851-1851 | |
(format ChineseTraditionalLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1850-1850 | |
(format EnglishLanguage oppositeDirection "%2 is %n an opposite direction of %1") | domainEnglishFormat.kif 1849-1849 | |
(termFormat ChineseLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42332-42332 | |
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42331-42331 | |
(termFormat EnglishLanguage oppositeDirection "opposite direction") | domainEnglishFormat.kif 42330-42330 |
antecedent |
![]() |
(=> (and (instance ?ZEPHYR WindFlow) (measure ?ZEPHYR (VelocityFn ?DIST ?TIME ?PLACE ?DIR_TOWARD)) (oppositeDirection ?DIR_TOWARD ?DIR_FROM)) (surfaceWindDirection ?PLACE ?DIR_FROM)) |
Weather.kif 182-187 | |
(=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR)) |
Mid-level-ontology.kif 19707-19712 | |
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR_TOWARD) (oppositeDirection ?DIR_TOWARD ?DIR_FROM)) (surfaceWindDirection ?PLACE ?DIR_FROM)) |
Weather.kif 176-180 | |
(=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 19714-19716 |
consequent |
![]() |
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 19721-19755 |
appearance as argument number 0 |
![]() |
(oppositeDirection East West) | Mid-level-ontology.kif 19705-19705 | |
(oppositeDirection North South) | Mid-level-ontology.kif 19704-19704 | |
(oppositeDirection Northeast Southwest) | Geography.kif 3829-3829 | |
(oppositeDirection Northwest Southeast) | Geography.kif 3841-3841 | |
(oppositeDirection Upstream Downstream) | Geography.kif 5763-5763 |
![]() |
![]() |