linearExtent - Sigma Knowledge base Browser

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 7544-7549
(documentation linearExtent JapaneseLanguage "BinaryPredicate は、表面に沿ってある点から別の点までの０のメジャーを表すために使用される。注：述語 length と distance の違いは、length が単一のオブジェクトのディメンションの１つの LengthMeasure を表すのに使用され、distance が使用される点である。")	japanese_format.kif 1352-1355
(domain linearExtent 2 LengthMeasure)	Merge.kif 7542-7542	The number 2 argument of linear extent is an instance of length measure
(instance linearExtent BinaryPredicate)	Merge.kif 7541-7541	linear extent is an instance of binary predicate
(subrelation linearExtent measure)	Merge.kif 7540-7540	linear extent is a subrelation of measure

appearance as argument number 2

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

antecedent

(=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1135-1140	If a physical is an instance of exclusive fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1167-1172	If a physical is an instance of extended fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1103-1108	If a physical is an instance of maritime exclusive economic zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1062-1067	If a physical is an instance of maritime shelf area and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 12.0))	Geography.kif 1208-1213	If a physical is an instance of territorial sea and the linear extent of the physical is a real number nautical mile(s), then the real number 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 4257-4263	If a physical is an instance of butte and another physical is an instance of mesa and the linear extent of the physical is a real number an unit of measure(s) and the linear extent of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number

consequent

(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))

Merge.kif 7573-7581

If the length of a physical is a real number an unit of measure(s),
then there doesn't exist the real number2 such that the linear extent of the physical is the real number2 the unit of measure(s) and the real number2 is greater than the real number

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

KB Term:			Term intersection

English Word: