TreeView 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 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	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 1180-1185	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 1116-1121	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 1075-1080	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 1221-1226	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 4110-4116	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 7467-7475

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: