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

Formal Language: 



KB Term:  Term intersection
English Word: 

  altitude

 Sigma KEE - altitude
altitude

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


(documentation altitude ChineseLanguage "这是一个 TernaryPredicate，它是用来表示一个 Object 的 top 和这个 Object top 以下的另外一点 (通常这一点会是海平面)之间的 distance。注：这个 Predicate 可以用来指定例如地理特征的高度如山、飞机的高度和环绕地球的卫星轨道。") chinese_format.kif 2658-2660
(documentation altitude EnglishLanguage "A TernaryPredicate that is used to state the distance between the top of an Object and another point that is below the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.") Merge.kif 7742-7748
(documentation altitude JapaneseLanguage "TernaryPredicate は、Object の top と Object の top より下にある別の点との間の distance を述えるために使用される(多くの場合、 この他のポイントは海面になる)。注：この Predicate を使用して、例えば、地理的フィーチャの高さを 指定できる。例：山、航空機の高度、地球周りの衛星の軌道。") japanese_format.kif 1376-1379
(domain altitude 1 Physical) Merge.kif 7738-7738 域 高度, 1 and Physical
(domain altitude 2 Physical) Merge.kif 7739-7739 域 高度, 2 and Physical
(domain altitude 3 LengthMeasure) Merge.kif 7740-7740 域 高度, 3 and LengthMeasure
(instance altitude PartialValuedRelation) Merge.kif 7737-7737 例 高度 and PartialValuedRelation
(instance altitude SingleValuedRelation) Merge.kif 7735-7735 例 高度 and SingleValuedRelation
(instance altitude TernaryPredicate) Merge.kif 7736-7736 例 高度 and TernaryPredicate

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


(format ChineseLanguage altitude "%1 的 altitude %n 是 %2") chinese_format.kif 609-609
(format EnglishLanguage altitude "the altitude of %1 is %n %2") english_format.kif 612-612
(format FrenchLanguage altitude "le altitude de %1 est %n %2") french_format.kif 369-369
(format ItalianLanguage altitude "l' altezza di%1 è %2") relations-it.txt 23-23
(format JapaneseLanguage altitude "%1 の altitude は %2 では %n") japanese_format.kif 2103-2103
(format PortugueseLanguage altitude "a altitude de %1 e' %n %2") portuguese_format.kif 321-321
(format de altitude "das altitude von %1 ist %2 %n{nicht}") relations-de.txt 797-797
(format hi altitude "%1 kii uunchaaii %2 hai") relations-hindi.txt 67-67
(format ro altitude "altitude%t{altitudinea} lui %1 %n{nu} este %2") relations-ro.kif 391-391
(format sv altitude "altituden av %1 är %n{inte} %2") relations-sv.txt 410-410
(format tg altitude "ang taas ng %1 ay %2") relations-cb.txt 57-57
(termFormat ChineseLanguage altitude "海拔") chinese_format.kif 610-610
(termFormat ChineseLanguage altitude "高度") domainEnglishFormat.kif 7002-7002
(termFormat ChineseTraditionalLanguage altitude "高度") domainEnglishFormat.kif 7001-7001
(termFormat EnglishLanguage altitude "altitude") domainEnglishFormat.kif 7000-7000
(termFormat tg altitude "taas") relations-tg.txt 63-63

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


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 高度 飛機, SelfConnectedObject and 高度測量 表面 SelfConnectedObject and 行星地球 例 飛機 and 飛機 高度測量 是 absolute 飛機 的高度
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))		 Merge.kif 7754-7759
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))		 Merge.kif 7750-7752
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))		 Merge.kif 7731-7733

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (exists (?SEA)
        (and
            (altitude ?OBJ ?SEA ?ALT)
            (surface ?SEA PlanetEarth))))		 Geography.kif 2781-2786 Object 是 LengthMeasure above 地表 SelfConnectedObject 高度 Object, SelfConnectedObject and LengthMeasure 表面 SelfConnectedObject and 行星地球
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ABSOLUTEMETER)
        (instance ?ABSOLUTEMETER AbsoluteAltimeter))
    (exists (?OBJ2)
        (and
            (altitude ?OBJ ?OBJ2 ?QUANTITY)
            (surface ?OBJ2 PlanetEarth))))		 MilitaryDevices.kif 1441-1451
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (altitude ?OBJ SeaLevel ?QUANTITY))		 MilitaryDevices.kif 1477-1484
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4772-4777
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 Meter)))		 Geography.kif 4765-4770
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH ?U)
        (and
            (instance ?WATER BodyOfWater)
            (eventLocated ?WW ?WATER)
            (part ?CREST ?WATER)
            (part ?TROUGH ?WATER)
            (distance ?CREST ?TROUGH ?X)
            (not
                (exists (?A ?AH)
                    (and
                        (part ?A ?WATER)
                        (altitude ?A ?CREST
                            (MeasureFn ?AH ?U))
                        (greaterThan ?AH 0.0))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH 0.0)))))))		 Weather.kif 1404-1424


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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