Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - linearExtent
linearExtent

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


(subrelation linearExtent measure) Merge.kif 7668-7668 linear extent is a subrelation of measure
(instance linearExtent BinaryPredicate) Merge.kif 7669-7669 linear extent is an instance of binary predicate
(domain linearExtent 1 Physical) Merge.kif 7670-7670 The number 1 argument of linear extent is an instance of physical
(domain linearExtent 2 LengthMeasure) Merge.kif 7671-7671 The number 2 argument of linear extent is an instance of length measure
(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 7673-7678 The number 2 argument of linear extent is an instance of length measure

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


(subrelation width linearExtent) Merge.kif 7682-7682 width is a subrelation of linear extent
(subrelation height linearExtent) Merge.kif 7689-7689 height is a subrelation of linear extent
(subrelation length linearExtent) Merge.kif 7698-7698 length is a subrelation of linear extent
(format EnglishLanguage linearExtent "the linear extent of %1 is %2") domainEnglishFormat.kif 3758-3758 length is a subrelation of linear extent
(format ChineseTraditionalLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3759-3759 length is a subrelation of linear extent
(format ChineseLanguage linearExtent "%1 的 linear extent 是 %2 ") domainEnglishFormat.kif 3760-3760 length is a subrelation of linear extent
(termFormat EnglishLanguage linearExtent "linear extent") domainEnglishFormat.kif 65884-65884 length is a subrelation of linear extent

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


(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2525-2530 If X is an instance of maritime shelf area and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2566-2571 If X is an instance of maritime exclusive economic zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2598-2603 If X is an instance of exclusive fishing zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2630-2635 If X is an instance of extended fishing zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))		 Geography.kif 2671-2676 If X is an instance of territorial sea and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 12.0
(=>
    (and
        (instance ?butte Butte)
        (instance ?mesa Mesa)
        (linearExtent ?butte
            (MeasureFn ?size1 ?unit))
        (linearExtent ?mesa
            (MeasureFn ?size2 ?unit)))
    (greaterThan ?size2 ?size1))		 Geography.kif 5692-5698 If X is an instance of butte, Y is an instance of mesa, the linear extent of X is Z W(s), and the linear extent of Y is V W(s), then V is greater than Z

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


(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))		 Merge.kif 7706-7714 If the length of X is Y Z(s), then there doesn't exist W such that the linear extent of X is W Z(s) and W is greater than Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners