(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 0.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3653-3655 |
courseWRTTrueNorth Object, Object and MeasureFn 0.0 and AngularDegree orientation Object, Object and North |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 135.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3677-3679 |
courseWRTTrueNorth Object, Object and MeasureFn 135.0 and AngularDegree orientation Object, Object and Southeast |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 180.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3661-3663 |
courseWRTTrueNorth Object, Object and MeasureFn 180.0 and AngularDegree orientation Object, Object and South |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 225.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3681-3683 |
courseWRTTrueNorth Object, Object and MeasureFn 225.0 and AngularDegree orientation Object, Object and Southwest |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 270.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3665-3667 |
courseWRTTrueNorth Object, Object and MeasureFn 270.0 and AngularDegree orientation Object, Object and West |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 315.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3685-3687 |
courseWRTTrueNorth Object, Object and MeasureFn 315.0 and AngularDegree orientation Object, Object and Northwest |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 360.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3669-3671 |
courseWRTTrueNorth Object, Object and MeasureFn 360.0 and AngularDegree orientation Object, Object and North |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 45.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3673-3675 |
courseWRTTrueNorth Object, Object and MeasureFn 45.0 and AngularDegree orientation Object, Object and Northeast |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 90.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3657-3659 |
courseWRTTrueNorth Object, Object and MeasureFn 90.0 and AngularDegree orientation Object, Object and East |
(<=>
(orientation ?OBJ1 ?OBJ2 Adjacent)
(or
(orientation ?OBJ1 ?OBJ2 Near)
(connected ?OBJ1 ?OBJ2))) |
Merge.kif 16850-16854 |
orientation Object, Object and Adjacent orientation Object, Object and Near connected Object and Object |
(<=>
(orientation ?OBJ1 ?OBJ2 Below)
(or
(orientation ?OBJ2 ?OBJ1 On)
(orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 16838-16842 |
orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above |
(<=>
(orientation ?OBJ1 ?OBJ2 East)
(orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 16775-16777 |
orientation Object, Object and East orientation Object, Object and West |
(<=>
(orientation ?OBJ1 ?OBJ2 Horizontal)
(orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 16792-16794 |
orientation Object, Object and Horizontal orientation Object, Object and Horizontal |
(<=>
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 16765-16767 |
orientation Object, Object and North orientation Object, Object and South |
(<=>
(orientation ?OBJ1 ?OBJ2 Northeast)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3575-3579 |
orientation Object, Object and Northeast orientation Object, Object and North orientation Object, Object and East |
(<=>
(orientation ?OBJ1 ?OBJ2 Northwest)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3610-3614 |
orientation Object, Object and Northwest orientation Object, Object and North orientation Object, Object and West |
(<=>
(orientation ?OBJ1 ?OBJ2 Right)
(orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 16871-16873 |
orientation Object, Object and Right orientation Object, Object and Left |
(<=>
(orientation ?OBJ1 ?OBJ2 Southeast)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3586-3590 |
orientation Object, Object and Southeast orientation Object, Object and South orientation Object, Object and East |
(<=>
(orientation ?OBJ1 ?OBJ2 Southwest)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3598-3602 |
orientation Object, Object and Southwest orientation Object, Object and South orientation Object, Object and West |
(<=>
(orientation ?OBJ1 ?OBJ2 Vertical)
(orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 16783-16785 |
orientation Object, Object and Vertical orientation Object, Object and Vertical |
(=>
(adjacentOrientation ?OBJ1 ?OBJ2)
(exists (?X)
(and
(instance ?X ?OBJ2)
(orientation ?OBJ1 ?X Adjacent)))) |
Hotel.kif 939-944 |
|
(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(orientation ?OBJ1 ?OBJ2 Above)) |
Merge.kif 7626-7628 |
|
(=>
(and
(attribute ?O Concave)
(surface ?O ?S)
(part ?P1 ?S)
(part ?P2 ?S)
(equal ?L
(LineFn ?P1 ?P2))
(not
(equal ?P1 ?P2))
(part ?PL ?L))
(orientation ?PL ?O Outside)) |
ComputingBrands.kif 2661-2672 |
|
(=>
(and
(attribute ?O Convex)
(surface ?O ?S)
(part ?P1 ?S)
(part ?P2 ?S)
(equal ?L
(LineFn ?P1 ?P2))
(not
(equal ?P1 ?P2))
(part ?PL ?L))
(orientation ?PL ?O Inside)) |
ComputingBrands.kif 2633-2644 |
|
(=>
(and
(attribute ?X ?SHAPE)
(instance ?X FourPosterBed)
(instance ?SHAPE Quadrilateral)
(sideOfFigure ?SIDE1 ?SHAPE)
(sideOfFigure ?SIDE2 ?SHAPE)
(not
(equal ?SIDE1 ?SIDE2)))
(exists (?POST ?FLOOR ?CORNER1 ?CORNER)
(and
(part ?POST ?X)
(instance ?FLOOR Floor)
(orientation ?X ?FLOOR On)
(orientation ?POST ?FLOOR Vertical)
(pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
(attribute ?CORNER ?CORNER1)
(meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 3985-4002 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |