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 648-653
(domain comparativeArea 1 GeographicArea) Geography.kif 642-642
(domain comparativeArea 2 BinaryRelationExtendedToQuantities) Geography.kif 644-644
(domain comparativeArea 3 PositiveRealNumber) Geography.kif 645-645
(domain comparativeArea 4 GeographicArea) Geography.kif 646-646
(instance comparativeArea QuaternaryPredicate) Geography.kif 641-641

appearance as argument number 2
-------------------------


(format EnglishLanguage comparativeArea "%1 %n{doesn't} comparative area %2 for %3 with %4") domainEnglishFormat.kif 134-134
(termFormat EnglishLanguage comparativeArea "comparative area") domainEnglishFormat.kif 3111-3111

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 655-661

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


(comparativeArea SouthernOcean greaterThan 2 UnitedStates) Geography.kif 4381-4381


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