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 11129-11131
(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 11121-11127
(documentation altitude JapaneseLanguage "TernaryPredicate は、ObjecttopObjecttop より下にある別の点との間の distance を述えるために使用される(多くの場合、 この他のポイントは海面になる)。注:この Predicate を使用して、例えば、地理的フィーチャの高さを 指定できる。例:山、航空機の高度、地球周りの衛星の軌道。") Merge.kif 11133-11136
(domain altitude 1 Physical) Merge.kif 11117-11117 The number 1 argument of altitude is an instance of physical
(domain altitude 2 Physical) Merge.kif 11118-11118 The number 2 argument of altitude is an instance of physical
(domain altitude 3 LengthMeasure) Merge.kif 11119-11119 The number 3 argument of altitude is an instance of length measure
(instance altitude PartialValuedRelation) Merge.kif 11116-11116 altitude is an instance of partial valued relation
(instance altitude SingleValuedRelation) Merge.kif 11115-11115 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 843-843
(format JapaneseLanguage altitude "%1 の altitude は %2 では %n") english_format.kif 844-844
(termFormat ChineseLanguage altitude "海拔") chinese_format.kif 610-610 "海拔" is the printable form of altitude in ChineseLanguage
(termFormat ChineseLanguage altitude "高度") domainEnglishFormat.kif 7009-7009 "高度" is the printable form of altitude in ChineseLanguage
(termFormat ChineseTraditionalLanguage altitude "高度") domainEnglishFormat.kif 7008-7008 "高度" is the printable form of altitude in ChineseTraditionalLanguage
(termFormat EnglishLanguage altitude "altitude") domainEnglishFormat.kif 7007-7007 "altitude" is the printable form of altitude in english language

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 11142-11147
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 11138-11140
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))
Merge.kif 11111-11113

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (and
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))
Geography.kif 2709-2713 An object is a length measure 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 4448-4452
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4442-4446


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