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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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.0 Colorado).") Geography.kif 659-664
(domain comparativeArea 1 GeographicArea) Geography.kif 653-653 比较区域 的 1 数量 是 地理区域instance
(domain comparativeArea 2 BinaryRelationExtendedToQuantities) Geography.kif 655-655 比较区域 的 2 数量 是 BinaryRelationExtendedToQuantitiesinstance
(domain comparativeArea 3 PositiveRealNumber) Geography.kif 656-656 比较区域 的 3 数量 是 正实数instance
(domain comparativeArea 4 GeographicArea) Geography.kif 657-657 比较区域 的 4 数量 是 地理区域instance
(instance comparativeArea QuaternaryPredicate) Geography.kif 652-652 比较区域四元谓语instance

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


        (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
        (instance ?UNIT UnitOfArea)
        (measure ?REGION1
            (MeasureFn ?NUM1 ?UNIT))
        (measure ?REGION2
            (MeasureFn ?NUM2 ?UNIT)))
        (MeasureFn ?NUM1 ?UNIT)
            (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))
Geography.kif 666-676

appearance as argument number 0

(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) Geography.kif 4575-4575 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起

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 3.0 is open source software produced by Articulate Software and its partners