TreeView Knowledge Base Browser

appearance as argument number 1

(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 659-664
(domain comparativeArea 1 GeographicArea)	Geography.kif 653-653	The number 1 argument of comparative area is an instance of geographic area
(domain comparativeArea 2 BinaryRelationExtendedToQuantities)	Geography.kif 655-655	The number 2 argument of comparative area is an instance of BinaryRelationExtendedToQuantities
(domain comparativeArea 3 PositiveRealNumber)	Geography.kif 656-656	The number 3 argument of comparative area is an instance of positive real number
(domain comparativeArea 4 GeographicArea)	Geography.kif 657-657	The number 4 argument of comparative area is an instance of geographic area
(instance comparativeArea QuaternaryPredicate)	Geography.kif 652-652	comparative area is an instance of quaternary predicate

appearance as argument number 2

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

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 666-676

If a geographic area comparative area a BinaryRelationExtendedToQuantities for a positive real number with another geographic area and an unit of measure is an instance of UnitOfArea and the measure of the geographic area is a real number the unit of measure(s) and the measure of the other geographic area is another real number the unit of measure(s),
then the BinaryRelationExtendedToQuantities the real number the unit of measure(s) and the positive real number and the other real number the unit of measure(s)

appearance as argument number 0

(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates)

Geography.kif 4575-4575

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: