Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - comparativeArea
comparativeArea

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 Colorado).") Geography.kif 651-656
(domain comparativeArea 1 GeographicArea) Geography.kif 645-645 The number 1 argument of comparative area is an instance of geographic area
(domain comparativeArea 2 BinaryRelationExtendedToQuantities) Geography.kif 647-647 The number 2 argument of comparative area is an instance of BinaryRelationExtendedToQuantities
(domain comparativeArea 3 PositiveRealNumber) Geography.kif 648-648 The number 3 argument of comparative area is an instance of positive real number
(domain comparativeArea 4 GeographicArea) Geography.kif 649-649 The number 4 argument of comparative area is an instance of geographic area
(instance comparativeArea QuaternaryPredicate) Geography.kif 644-644 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 16063-16063
(termFormat ChineseTraditionalLanguage comparativeArea "比較區​​域") domainEnglishFormat.kif 16062-16062
(termFormat EnglishLanguage comparativeArea "comparative area") domainEnglishFormat.kif 16061-16061

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 658-668

appearance as argument number 0
-------------------------


(comparativeArea SouthernOcean greaterThan 2 UnitedStates) Geography.kif 4394-4394 Southern ocean comparative area greater than for 2 with united states


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners