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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - altitude
altitude

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


(documentation altitude ChineseLanguage "这是一个 TernaryPredicate,它是用来表示一个 Objecttop 和这个 Object top 以下的另外一点 (通常这一点会是海平面)之间的 distance。注:这个 Predicate 可以用来指定例如地理特征的高度如山、飞机的高度和环绕地球的卫星轨道。") Merge.kif 7896-7898
(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 7889-7895
(instance altitude PartialValuedRelation) Merge.kif 7888-7888 altitude is an instance of partial valued relation
(instance altitude SingleValuedRelation) Merge.kif 7887-7887 altitude is an instance of single valued relation

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 380-380
(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 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 tg altitude "ang taas ng %1 ay %2") relations-cb.txt 57-57
(termFormat ChineseLanguage altitude "海拔") chinese_format.kif 610-610 "海拔" is the printable form of altitude in ChineseLanguage
(termFormat EnglishLanguage altitude "altitude") domainEnglishFormat.kif 1601-1601 "altitude" is the printable form of altitude in english language
(termFormat tg altitude "taas") relations-tg.txt 63-63 "taas" is the printable form of altitude in tg

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


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1461-1466 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7904-7909
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 7900-7902
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))
Merge.kif 7883-7885

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (and
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))
Geography.kif 2709-2713 An object is a physical quantity above the ground if and only if the altitude of the object is a self connected object and the self connected object is a surface of planet earth
(=>
    (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 1440-1450
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (altitude ?OBJ SeaLevel ?QUANTITY))
MilitaryDevices.kif 1476-1483
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4449-4453
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4443-4447


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners