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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7056-7061
(domain linearExtent 2 LengthMeasure) Merge.kif 7054-7054 domain linearExtent, 2 and LengthMeasure
(instance linearExtent BinaryPredicate) Merge.kif 7053-7053 instance linearExtent and BinaryPredicate
(subrelation linearExtent measure) Merge.kif 7052-7052 subrelation linearExtent and measure

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


(format ChineseLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3763-3763
(format ChineseTraditionalLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3762-3762
(format EnglishLanguage linearExtent "the linear extent of %1 is %2") domainEnglishFormat.kif 3761-3761
(subrelation height linearExtent) Merge.kif 7069-7069 subrelation height and linearExtent
(subrelation length linearExtent) Merge.kif 7078-7078 subrelation length and linearExtent
(subrelation width linearExtent) Merge.kif 7064-7064 subrelation width and linearExtent

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


(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 200 NauticalMile)))
Geography.kif 1138-1142
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 200 NauticalMile)))
Geography.kif 1169-1173
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 200 NauticalMile)))
Geography.kif 1107-1111
(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 200 NauticalMile)))
Geography.kif 1067-1071
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 12 NauticalMile)))
Geography.kif 1209-1213
(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))
Geography.kif 3975-3981

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


(=>
    (length ?O ?M)
    (not
        (exists (?M2)
            (and
                (linearExtent ?O ?M2)
                (greaterThan ?M2 ?M)))))
Merge.kif 7083-7089


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