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 可以用来指定例如地理特征的高度如山、飞机的高度和环绕地球的卫星轨道。") 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 7306-7312
(domain altitude 1 Physical) Merge.kif 7302-7302 domain altitude, 1 and Physical
(domain altitude 2 Physical) Merge.kif 7303-7303 domain altitude, 2 and Physical
(domain altitude 3 LengthMeasure) Merge.kif 7304-7304 domain altitude, 3 and LengthMeasure
(instance altitude PartialValuedRelation) Merge.kif 7301-7301 instance altitude and PartialValuedRelation
(instance altitude SingleValuedRelation) Merge.kif 7299-7299 instance altitude and SingleValuedRelation
(instance altitude TernaryPredicate) Merge.kif 7300-7300 instance altitude 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 615-615
(termFormat ChineseLanguage altitude "海拔") chinese_format.kif 610-610
(termFormat ChineseLanguage altitude "高度") domainEnglishFormat.kif 7009-7009
(termFormat ChineseTraditionalLanguage altitude "高度") domainEnglishFormat.kif 7008-7008
(termFormat EnglishLanguage altitude "altitude") domainEnglishFormat.kif 7007-7007

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


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467 altitude Aircraft, SelfConnectedObject and AltitudeMeasure surface SelfConnectedObject and PlanetEarth instance Aircraft and Aircraft absoluteHeight Aircraft and AltitudeMeasure
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7318-7323
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 7314-7316
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))
Merge.kif 7295-7297

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (and
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))
Geography.kif 2721-2725 earthAltitude Object and LengthMeasure altitude Object, SelfConnectedObject and LengthMeasure surface SelfConnectedObject and PlanetEarth
(=>
    (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 FootLength)))
Geography.kif 4462-4466
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4456-4460
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH)
        (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
                            (MeasureFn 0 ?U)))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH
                            (MeasureFn 0 ?U))))))))
Weather.kif 1028-1048


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