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

Formal Language: 



KB Term:  Term intersection
English Word: 

  linearExtent

Sigma KEE - linearExtent
linearExtent

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


(documentation linearExtent ChineseLanguage "这是一个 BinaryPredicate,它是用于表示量度 一个 Object 表面上从一点到另一点间的距离。注:谓词 lengthdistance 之间的分别在于,length 是用来表示一个单一物体其中一个维度的 LengthMeasure,而是用来表示两个不同物体之间的LengthMeasure。") chinese_format.kif 2637-2639
(documentation linearExtent EnglishLanguage "BinaryPredicate that is used to state the measure of an Object from one point to another point along its surface. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.") Merge.kif 7438-7443
(domain linearExtent 2 LengthMeasure) Merge.kif 7436-7436 The number 2 argument of linearExtent is an instance of length measure
(instance linearExtent BinaryPredicate) Merge.kif 7435-7435 linearExtent is an instance of binary predicate
(subrelation linearExtent measure) Merge.kif 7434-7434 linearExtent is a subrelation of measure

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


(format ChineseLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3767-3767
(format ChineseTraditionalLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3766-3766
(format EnglishLanguage linearExtent "the linear extent of %1 is %2") domainEnglishFormat.kif 3765-3765
(subrelation height linearExtent) Merge.kif 7452-7452 height is a subrelation of linearExtent
(subrelation length linearExtent) Merge.kif 7461-7461 length is a subrelation of linearExtent
(subrelation width linearExtent) Merge.kif 7447-7447 width is a subrelation of linearExtent

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


(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1148-1153
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1180-1185
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1116-1121
(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1075-1080
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))
Geography.kif 1221-1226
(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 4110-4116

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


(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))
Merge.kif 7467-7475


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