(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 0.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3719-3721 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 135.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3743-3745 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 180.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3727-3729 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 225.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3747-3749 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 270.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3731-3733 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 315.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3751-3753 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 360.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3735-3737 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 45.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3739-3741 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北 |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 90.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3723-3725 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東 |
(<=>
(orientation ?OBJ1 ?OBJ2 Adjacent)
(or
(orientation ?OBJ1 ?OBJ2 Near)
(connected ?OBJ1 ?OBJ2))) |
Merge.kif 17263-17267 |
方位 Object, Object and 鄰 方位 Object, Object and 近 連接的 Object and Object |
(<=>
(orientation ?OBJ1 ?OBJ2 Below)
(or
(orientation ?OBJ2 ?OBJ1 On)
(orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17251-17255 |
方位 Object, Object and 下面 方位 Object, Object and 上 方位 Object, Object and 以上 |
(<=>
(orientation ?OBJ1 ?OBJ2 East)
(orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 17188-17190 |
方位 Object, Object and 東 方位 Object, Object and 西方 |
(<=>
(orientation ?OBJ1 ?OBJ2 Horizontal)
(orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17205-17207 |
方位 Object, Object and 橫 方位 Object, Object and 橫 |
(<=>
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17178-17180 |
方位 Object, Object and 北 方位 Object, Object and 南 |
(<=>
(orientation ?OBJ1 ?OBJ2 Northeast)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3641-3645 |
方位 Object, Object and 東北 方位 Object, Object and 北 方位 Object, Object and 東 |
(<=>
(orientation ?OBJ1 ?OBJ2 Northwest)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3676-3680 |
方位 Object, Object and 西北 方位 Object, Object and 北 方位 Object, Object and 西方 |
(<=>
(orientation ?OBJ1 ?OBJ2 Right)
(orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17284-17286 |
方位 Object, Object and 右 方位 Object, Object and 左 |
(<=>
(orientation ?OBJ1 ?OBJ2 Southeast)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3652-3656 |
方位 Object, Object and 東南 方位 Object, Object and 南 方位 Object, Object and 東 |
(<=>
(orientation ?OBJ1 ?OBJ2 Southwest)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3664-3668 |
方位 Object, Object and 西南 方位 Object, Object and 南 方位 Object, Object and 西方 |
(<=>
(orientation ?OBJ1 ?OBJ2 Vertical)
(orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 17196-17198 |
方位 Object, Object and 垂直 方位 Object, Object and 垂直 |
(=>
(adjacentOrientation ?OBJ1 ?OBJ2)
(exists (?X)
(and
(instance ?X ?OBJ2)
(orientation ?OBJ1 ?X Adjacent)))) |
Hotel.kif 947-952 |
|
(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(orientation ?OBJ1 ?OBJ2 Above)) |
Merge.kif 7781-7783 |
|
(=>
(and
(attribute ?G ToxicandInfectiousSubstance)
(or
(instance ?G Substance)
(instance ?G Microorganism)))
(exists (?O ?P ?I ?CLASS)
(and
(or
(instance ?O Human)
(instance ?O Animal))
(orientation ?G ?O Near)
(or
(instance ?P Inhaling)
(instance ?P Ingesting)
(instance ?P Touching))
(agent ?P ?O)
(patient ?P ?G)
(causes ?P ?I)
(patient ?I ?O)
(instance ?I ?CLASS)
(capability ?CLASS resource ?G)
(or
(subclass ?CLASS Injuring)
(subclass ?CLASS Death))))) |
Transportation.kif 4201-4225 |
|
(=>
(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 2693-2704 |
|
(=>
(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 2665-2676 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
