TreeView Knowledge Base Browser

appearance as argument number 1

(instance comparativeArea QuaternaryPredicate)	Geography.kif 2117-2117	comparative area is an instance of quaternary predicate
(domain comparativeArea 1 GeographicArea)	Geography.kif 2118-2118	The number 1 argument of comparative area is an instance of geographic area
(domain comparativeArea 2 BinaryRelationExtendedToQuantities)	Geography.kif 2120-2120	The number 2 argument of comparative area is an instance of binary relation extended to quantities
(domain comparativeArea 3 PositiveRealNumber)	Geography.kif 2121-2121	The number 3 argument of comparative area is an instance of positive real number
(domain comparativeArea 4 GeographicArea)	Geography.kif 2122-2122	The number 4 argument of comparative area is an instance of geographic area
(documentation comparativeArea EnglishLanguage "(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) means that the total area of GeographicArea ?REGION1 has the relation ?RELATION to the total area of GeographicArea ?REGION2 times ?FACTOR. For example, that France is (slightly) less than twice the size of Colorado is represented by (comparativeArea France lessThan 2.0 Colorado).")	Geography.kif 2124-2129	The number 4 argument of comparative area is an instance of geographic area

appearance as argument number 2

(format EnglishLanguage comparativeArea "%1 %n{doesn't} comparative area %2 for %3 with %4")	domainEnglishFormat.kif 498-498
(format ChineseTraditionalLanguage comparativeArea "%1 %n{不是} comparative 地區 %2 對於 %3 跟 %4 在一起")	domainEnglishFormat.kif 499-499
(format ChineseLanguage comparativeArea "%1 %n{不是} comparative 地区 %2 对于 %3 跟 %4 在一起")	domainEnglishFormat.kif 500-500
(termFormat EnglishLanguage comparativeArea "comparative area")	domainEnglishFormat.kif 16140-16140
(termFormat ChineseTraditionalLanguage comparativeArea "比較區域")	domainEnglishFormat.kif 16141-16141
(termFormat ChineseLanguage comparativeArea "比较区域")	domainEnglishFormat.kif 16142-16142

antecedent

(=>
    (and
        (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
        (instance ?UNIT UnitOfArea)
        (measure ?REGION1
            (MeasureFn ?NUM1 ?UNIT))
        (measure ?REGION2
            (MeasureFn ?NUM2 ?UNIT)))
    (?RELATION
        (MeasureFn ?NUM1 ?UNIT)
        (MeasureFn
            (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))

Geography.kif 2131-2141

If X comparative area Y for Z with W, V is an instance of unit of area, the measure of X is U V(s), and the measure of W is T V(s), then Y U V(s) and Z and T V(s)

appearance as argument number 0

(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates)

Geography.kif 6218-6218

Southern ocean comparative area greater than for 2.0 with united states

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: