|
|
   DirectionalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DirectionalAttribute ChineseLanguage "这是有关罗盘方向的 PositionalAttribute 子类别。") | chinese_format.kif 3802-3803 | |
| (documentation DirectionalAttribute EnglishLanguage "The subclass of PositionalAttributes that concern compass directions.") | Merge.kif 16727-16728 | |
| (externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") | pictureList.kif 10874-10874 | |
| (externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") | pictureList.kif 9992-9992 | |
| (subclass DirectionalAttribute PositionalAttribute) | Merge.kif 16726-16726 |
| appearance as argument number 2 |
|
|
| (instance East DirectionalAttribute) | Merge.kif 16748-16748 | |
| (instance North DirectionalAttribute) | Merge.kif 16737-16737 | |
| (instance Northeast DirectionalAttribute) | Geography.kif 3570-3570 | |
| (instance Northwest DirectionalAttribute) | Geography.kif 3604-3604 | |
| (instance South DirectionalAttribute) | Merge.kif 16741-16741 | |
| (instance Southeast DirectionalAttribute) | Geography.kif 3581-3581 | |
| (instance Southwest DirectionalAttribute) | Geography.kif 3592-3592 | |
| (instance West DirectionalAttribute) | Merge.kif 16751-16751 | |
| (termFormat ChineseLanguage DirectionalAttribute "方向属性") | chinese_format.kif 1237-1237 | |
| (termFormat EnglishLanguage DirectionalAttribute "directional attribute") | english_format.kif 1695-1695 |
| appearance as argument number 3 |
|
|
| (domain AccelerationFn 4 DirectionalAttribute) | Cars.kif 1277-1277 | |
| (domain DirectionalSubregionFn 1 DirectionalAttribute) | Geography.kif 477-477 | |
| (domain LatitudeFn 1 DirectionalAttribute) | Geography.kif 406-406 | |
| (domain LongitudeFn 1 DirectionalAttribute) | Geography.kif 444-444 | |
| (domain VelocityFn 4 DirectionalAttribute) | Merge.kif 6575-6575 | |
| (domain faces 2 DirectionalAttribute) | Merge.kif 16681-16681 | |
| (domain highAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 253-253 | |
| (domain lowAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 204-204 | |
| (domain magneticVariation 3 DirectionalAttribute) | Geography.kif 3692-3692 | |
| (domain mediumAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 230-230 | |
| (domain slopeGradientTowardsOrientation 2 DirectionalAttribute) | Geography.kif 1691-1691 | |
| (domain surfaceWindDirection 2 DirectionalAttribute) | Weather.kif 169-169 | |
| (domain surfaceWindVelocity 3 DirectionalAttribute) | Weather.kif 106-106 |
| antecedent |
|
|
| (=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 16730-16735 | |
| (=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA)) |
Geography.kif 493-498 | |
| (=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION)) |
Geography.kif 500-505 |
| consequent |
|
|
| (=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T Tropics)) (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U) (and (objectGeographicCoordinates ?PLACE (MeasureFn ?NUM1 ?U) ?LONG) (instance ?U UnitOfAngularMeasure) (lessThan ?NUM1 ?NUM2) (equal (MeasureFn ?NUM2 ?U) (LatitudeFn ?DIR (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South))))) |
Geography.kif 3517-3537 | |
| (=> (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 17555-17589 | |
| (=> (and (instance ?TC TropicalCyclonicSystem) (origin ?TC ?SEA) (or (instance ?SEA NorthAtlanticOcean) (instance ?SEA PacificOcean) (instance ?SEA IndianOcean))) (not (exists (?AREA ?DIR ?NUM ?LONG) (and (located ?AREA ?SEA) (instance ?DIR DirectionalAttribute) (objectGeographicCoordinates ?AREA (LatitudeFn ?DIR (MeasureFn ?NUM AngularDegree)) ?LONG) (or (equal ?DIR North) (equal ?DIR South)) (lessThan ?NUM 5.0))))) |
Weather.kif 627-646 | |
| (=> (instance ?C Compass) (exists (?D) (and (instance ?D DirectionalAttribute) (represents ?C ?D)))) |
Mid-level-ontology.kif 2219-2224 | |
| (=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionalAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (EndFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))) (and (holdsDuring (EndFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (BeginFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))))))) |
Merge.kif 11134-11145 |
|
|
|
