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 652-657
(domain comparativeArea 1 GeographicArea)	Geography.kif 646-646	Le nombre 1 argument de comparativeArea est une instance de secteur g�ographique
(domain comparativeArea 2 BinaryRelationExtendedToQuantities)	Geography.kif 648-648	Le nombre 2 argument de comparativeArea est une instance de BinaryRelationExtendedToQuantities
(domain comparativeArea 3 PositiveRealNumber)	Geography.kif 649-649	Le nombre 3 argument de comparativeArea est une instance de nombre r�el positif
(domain comparativeArea 4 GeographicArea)	Geography.kif 650-650	Le nombre 4 argument de comparativeArea est une instance de secteur g�ographique
(instance comparativeArea QuaternaryPredicate)	Geography.kif 645-645	comparativeArea est une instance de pr�dicat quaternaire

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 16156-16156
(termFormat ChineseTraditionalLanguage comparativeArea "比較區域")	domainEnglishFormat.kif 16155-16155
(termFormat EnglishLanguage comparativeArea "comparative area")	domainEnglishFormat.kif 16154-16154

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 659-669

comparativeArea secteur g�ographique, BinaryRelationExtendedToQuantities, nombre r�el positif and secteur g�ographique unit� de mesure est une instance de UnitOfArea la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) la mesure de secteur g�ographique est nombre r�el unit� de mesure(s)
BinaryRelationExtendedToQuantities nombre r�el unit� de mesure(s) and nombre r�el positif + nombre r�el unit� de mesure(s)

appearance as argument number 0

(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates)

Geography.kif 4676-4676

comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates

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

KB Term:			Term intersection

English Word: