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 表面上从一点到另一点间的距离。注：谓词 length 和 distance 之间的分别在于，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 7540-7545
(documentation linearExtent JapaneseLanguage "BinaryPredicate は、表面に沿ってある点から別 の点までの０のメジャーを表すために使用される。注：述語 length と distance の違いは、length が単一のオブジェクトのディメンションの１つの LengthMeasure を表すのに使用され、distance が 使用される点である。") japanese_format.kif 1352-1355
(domain linearExtent 2 LengthMeasure) Merge.kif 7538-7538 Il numero 2 argomenti di linearExtent è un istanza di MisuraDiLunghezza
(instance linearExtent BinaryPredicate) Merge.kif 7537-7537 linearExtent è un' istanza di PredicatoBinario
(subrelation linearExtent measure) Merge.kif 7536-7536 linearExtent è una sottorelazione di measure

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


(format ChineseLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3756-3756
(format ChineseTraditionalLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3755-3755
(format EnglishLanguage linearExtent "the linear extent of %1 is %2") domainEnglishFormat.kif 3754-3754
(subrelation height linearExtent) Merge.kif 7554-7554 height è una sottorelazione di linearExtent
(subrelation length linearExtent) Merge.kif 7563-7563 length è una sottorelazione di linearExtent
(subrelation width linearExtent) Merge.kif 7549-7549 width è una sottorelazione di linearExtent
(termFormat EnglishLanguage linearExtent "linear extent") domainEnglishFormat.kif 65903-65903 width è una sottorelazione di linearExtent

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


(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 1135-1140
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 1167-1172
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 1103-1108
(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 1062-1067
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))		 Geography.kif 1208-1213
(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))		 Geography.kif 4164-4170

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


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


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