| 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 18452-18454 | |
| (domain oppositeDirection 1 PositionalAttribute) | Mid-level-ontology.kif 18449-18449 | |
| (domain oppositeDirection 2 PositionalAttribute) | Mid-level-ontology.kif 18450-18450 | |
| (instance oppositeDirection BinaryPredicate) | Mid-level-ontology.kif 18446-18446 | |
| (instance oppositeDirection IrreflexiveRelation) | Mid-level-ontology.kif 18448-18448 | |
| (instance oppositeDirection SymmetricRelation) | Mid-level-ontology.kif 18447-18447 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1847-1847 | |
| (format ChineseTraditionalLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1846-1846 | |
| (format EnglishLanguage oppositeDirection "%2 is %n an opposite direction of %1") | domainEnglishFormat.kif 1845-1845 | |
| (termFormat ChineseLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42352-42352 | |
| (termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42351-42351 | |
| (termFormat EnglishLanguage oppositeDirection "opposite direction") | domainEnglishFormat.kif 42350-42350 |
| 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 18459-18464 | |
| (=> (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 18466-18468 |
| 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 18473-18507 |
| appearance as argument number 0 |
|
|
| (oppositeDirection East West) | Mid-level-ontology.kif 18457-18457 | |
| (oppositeDirection North South) | Mid-level-ontology.kif 18456-18456 | |
| (oppositeDirection Northeast Southwest) | Geography.kif 3659-3659 | |
| (oppositeDirection Northwest Southeast) | Geography.kif 3671-3671 | |
| (oppositeDirection Upstream Downstream) | Geography.kif 5436-5436 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners