Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - orientation
orientation

appearance as argument number 1
-------------------------


(documentation orientation ChineseLanguage "这是一个用来表示两个 Object 相对于彼此的定向的 Predicate。 例如：(orientation ?OBJ1 ?OBJ2 North)第意思是 ?OBJ1 在 ?OBJ2 的北方，而 (orientation ?OBJ1 ?OBJ2 Vertical)第意思是 ?OBJ1 和 ?OBJ2 之间的位置是垂直的。") chinese_format.kif 3786-3788
(documentation orientation EnglishLanguage "A general Predicate for indicating how two Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2.") Merge.kif 16885-16889
(domain orientation 1 Object) Merge.kif 16882-16882 orientation の数値 1 引数は オブジェクト の instance では %n
(domain orientation 2 Object) Merge.kif 16883-16883 orientation の数値 2 引数は オブジェクト の instance では %n
(domain orientation 3 PositionalAttribute) Merge.kif 16884-16884 orientation の数値 3 引数は 位置属性 の instance では %n
(instance orientation SpatialRelation) Merge.kif 16880-16880 orientation は 空間的関係 の instance では %n
(instance orientation TernaryPredicate) Merge.kif 16881-16881 orientation は 3進述語 の instance では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage orientation "%1 %n 在 %2 的 %3") chinese_format.kif 586-586
(format EnglishLanguage orientation "%1 is %n %3 to %2") english_format.kif 590-590
(format FrenchLanguage orientation "%1 est %n %3 � %2") french_format.kif 351-351
(format ItalianLanguage orientation "%1 è %n %3 a %2") relations-it.txt 204-204
(format JapaneseLanguage orientation "%1 は %3 対 %2 では %n") japanese_format.kif 2098-2098
(format PortugueseLanguage orientation "%1 e' %n %3 em relacao a %2") portuguese_format.kif 303-303
(format cz orientation "%1 %p{je} %n{nen�} %3 vzhledem k %2") relations-cz.txt 359-359
(format de orientation "%1 ist %3 hinsichlich %2 %n{nicht}") relations-de.txt 767-767
(format hi orientation "%1 %2 ke %3 dishaasthita %n hain") relations-hindi.txt 242-242
(format ro orientation "%1 %n{nu} este %3 faþã de %2") relations-ro.kif 373-373
(format sv orientation "%1 är %n{inte} %3 till %2") relations-sv.txt 389-389
(format tg orientation "%1 %n ay %3 sa %2") relations-tg.txt 390-390
(termFormat ChineseLanguage orientation "定向") chinese_format.kif 587-587
(termFormat ChineseLanguage orientation "方位") domainEnglishFormat.kif 42594-42594
(termFormat ChineseTraditionalLanguage orientation "方位") domainEnglishFormat.kif 42593-42593
(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 42592-42592
(termFormat tg orientation "banda") relations-tg.txt 391-391

antecedent
-------------------------


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))		 Mid-level-ontology.kif 9091-9094 オブジェクト は Outside 対 オブジェクト では %n オブジェクト は partly に オブジェクト に 位置して
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17073-17077 オブジェクト は Adjacent 対 オブジェクト では %n オブジェクト は Near 対 オブジェクト では %n オブジェクト は オブジェクト と connected して
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17061-17065 オブジェクト は Below 対 オブジェクト では %n オブジェクト は On 対 オブジェクト では %n オブジェクト は Above 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 16998-17000 オブジェクト は East 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17015-17017 オブジェクト は Horizontal 対 オブジェクト では %n オブジェクト は Horizontal 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 16988-16990 オブジェクト は North 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3653-3657 オブジェクト は Northeast 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3688-3692 オブジェクト は Northwest 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17094-17096 オブジェクト は Right 対 オブジェクト では %n オブジェクト は Left 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3664-3668 オブジェクト は Southeast 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3676-3680 オブジェクト は Southwest 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17006-17008 オブジェクト は Vertical 対 オブジェクト では %n オブジェクト は Vertical 対 オブジェクト では %n
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))		 Anatomy.kif 1838-1860
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))		 Anatomy.kif 1862-1884
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))		 Anatomy.kif 1799-1807
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Supine)
                (orientation ?H ?O On)))
        (equal ?B
            (BackFn ?H)))
    (meetsSpatially ?B ?O))		 Anatomy.kif 1814-1821
(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))		 Geography.kif 6104-6109
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 16974-16979
(=>
    (and
        (instance ?FOG Fogging)
        (eventLocated ?FOG ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (instance ?A Aerosal)
        (locatedAtTime ?A
            (WhenFn ?FOG) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?FOG)
            (MeasureFn ?VISIBILITY Meter)))
    (lessThan ?VISIBILITY 1000.0))		 Weather.kif 2537-2550
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2.0)
        (lessThan ?VISIBILITY 5.0)))		 Weather.kif 2566-2580
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))		 Merge.kif 17035-17039
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))		 Merge.kif 17024-17028
(=>
    (and
        (instance ?SHORE ShoreArea)
        (instance ?WATER WaterArea)
        (orientation ?SHORE ?WATER Adjacent))
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE)
            (meetsSpatially ?LINE ?WATER))))		 Geography.kif 6130-6139
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))		 Merge.kif 11322-11327
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O On))
    (objectTransferred ?T ?O2))		 Merge.kif 11329-11334

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3731-3733 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3755-3757 courseWRTTrueNorth オブジェクト, オブジェクト and 135.0 の AngularDegree(s) オブジェクト は Southeast 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3739-3741 courseWRTTrueNorth オブジェクト, オブジェクト and 180.0 の AngularDegree(s) オブジェクト は South 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3759-3761 courseWRTTrueNorth オブジェクト, オブジェクト and 225.0 の AngularDegree(s) オブジェクト は Southwest 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3743-3745 courseWRTTrueNorth オブジェクト, オブジェクト and 270.0 の AngularDegree(s) オブジェクト は West 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3763-3765 courseWRTTrueNorth オブジェクト, オブジェクト and 315.0 の AngularDegree(s) オブジェクト は Northwest 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3747-3749 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3751-3753 courseWRTTrueNorth オブジェクト, オブジェクト and 45.0 の AngularDegree(s) オブジェクト は Northeast 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3735-3737 courseWRTTrueNorth オブジェクト, オブジェクト and 90.0 の AngularDegree(s) オブジェクト は East 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17073-17077 オブジェクト は Adjacent 対 オブジェクト では %n オブジェクト は Near 対 オブジェクト では %n オブジェクト は オブジェクト と connected して
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17061-17065 オブジェクト は Below 対 オブジェクト では %n オブジェクト は On 対 オブジェクト では %n オブジェクト は Above 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 16998-17000 オブジェクト は East 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17015-17017 オブジェクト は Horizontal 対 オブジェクト では %n オブジェクト は Horizontal 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 16988-16990 オブジェクト は North 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3653-3657 オブジェクト は Northeast 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3688-3692 オブジェクト は Northwest 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17094-17096 オブジェクト は Right 対 オブジェクト では %n オブジェクト は Left 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3664-3668 オブジェクト は Southeast 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3676-3680 オブジェクト は Southwest 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17006-17008 オブジェクト は Vertical 対 オブジェクト では %n オブジェクト は Vertical 対 オブジェクト では %n
(=>
    (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 7714-7716
(=>
    (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
(=>
    (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 4050-4067

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 Africa は Southeast 対 NorthAmerica では %n
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 Africa は Northeast 対 SouthAmerica では %n
(orientation Asia Oceania Northwest) Geography.kif 281-281 Asia は Northwest 対 Oceania では %n
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 CaribbeanRegion は South 対 NorthAmerica では %n
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegion は North 対 SouthAmerica では %n
(orientation Europe Africa North) Geography.kif 275-275 Europe は North 対 Africa では %n
(orientation Europe Asia West) Geography.kif 276-276 Europe は West 対 Asia では %n
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe は East 対 NorthAmerica では %n
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 Europe は Northeast 対 SouthAmerica では %n
(orientation Ireland Wales West) Geography.kif 6944-6944 Ireland は West 対 Wales では %n
(orientation IsleOfMan NorthernIreland East) Geography.kif 6943-6943 IsleOfMan は East 対 NorthernIreland では %n
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 MiddleAmerica は South 対 NorthAmerica では %n
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmerica は North 対 SouthAmerica では %n
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 MiddleEastRegion は Northeast 対 Africa では %n
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 MiddleEastRegion は Southwest 対 Asia では %n
(orientation NorthAmerica Asia East) Geography.kif 279-279 NorthAmerica は East 対 Asia では %n
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmerica は North 対 SouthAmerica では %n
(orientation NorthernIreland England Northwest) Geography.kif 6932-6932 NorthernIreland は Northwest 対 England では %n
(orientation NorthernIreland Scotland Southwest) Geography.kif 6931-6931 NorthernIreland は Southwest 対 Scotland では %n
(orientation NorthernIreland Wales Northwest) Geography.kif 6941-6941 NorthernIreland は Northwest 対 Wales では %n
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 Oceania は Southwest 対 NorthAmerica では %n
(orientation Scotland England North) Geography.kif 6929-6929 Scotland は North 対 England では %n
(orientation Scotland Wales North) Geography.kif 6942-6942 Scotland は North 対 Wales では %n
(orientation Wales England West) Geography.kif 6939-6939 Wales は West 対 England では %n


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