| 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 15863-15864 | |
| (externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") | pictureList.kif 10885-10885 | |
| (externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") | pictureList.kif 10002-10002 | |
| (subclass DirectionalAttribute PositionalAttribute) | Merge.kif 15862-15862 |
| appearance as argument number 2 |
|
|
| (instance East DirectionalAttribute) | Merge.kif 15884-15884 | |
| (instance North DirectionalAttribute) | Merge.kif 15873-15873 | |
| (instance Northeast DirectionalAttribute) | Geography.kif 3486-3486 | |
| (instance Northwest DirectionalAttribute) | Geography.kif 3520-3520 | |
| (instance South DirectionalAttribute) | Merge.kif 15877-15877 | |
| (instance Southeast DirectionalAttribute) | Geography.kif 3497-3497 | |
| (instance Southwest DirectionalAttribute) | Geography.kif 3508-3508 | |
| (instance West DirectionalAttribute) | Merge.kif 15887-15887 | |
| (termFormat ChineseLanguage DirectionalAttribute "方向属性") | chinese_format.kif 1237-1237 | |
| (termFormat EnglishLanguage DirectionalAttribute "directional attribute") | english_format.kif 1700-1700 |
| appearance as argument number 3 |
|
|
| (domain AccelerationFn 4 DirectionalAttribute) | Cars.kif 1278-1278 | |
| (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 6390-6390 | |
| (domain faces 2 DirectionalAttribute) | Merge.kif 15817-15817 | |
| (domain highAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 253-253 | |
| (domain lowAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 204-204 | |
| (domain magneticVariation 3 DirectionalAttribute) | Geography.kif 3608-3608 | |
| (domain mediumAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 230-230 | |
| (domain slopeGradientTowardsOrientation 2 DirectionalAttribute) | Geography.kif 1641-1641 | |
| (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 15866-15871 | |
| (=> (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 ?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 15871-15905 | |
| (=> (instance ?C Compass) (exists (?D) (and (instance ?D DirectionalAttribute) (represents ?C ?D)))) |
Mid-level-ontology.kif 2725-2730 | |
| (=> (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 10567-10578 |
|
|
|