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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GigaFn
GigaFn

appearance as argument number 1
-------------------------


(documentation GigaFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000,000倍的 UnitOfMeasure 上。 例如:(GigaFn Hertz)是 1,000,000,000 Hertz。") chinese_format.kif 2446-2448
(documentation GigaFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000,000 units of the original UnitOfMeasure. For example, (GigaFn Hertz) is 1,000,000,000 Hertz.") Merge.kif 6151-6153
(domain GigaFn 1 UnitOfMeasure) Merge.kif 6148-6148 domain GigaFn, 1 and UnitOfMeasure
(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6147-6147 instance GigaFn and UnitOfMeasureMultiplier
(range GigaFn UnitOfMeasure) Merge.kif 6149-6149 range GigaFn and UnitOfMeasure

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


(format ChineseLanguage GigaFn "%1 的十亿倍") chinese_format.kif 639-639
(format EnglishLanguage GigaFn "1 billion %1s") english_format.kif 645-645
(termFormat ChineseLanguage GigaFn "十亿倍函数") chinese_format.kif 640-640
(termFormat ChineseLanguage GigaFn "千兆") domainEnglishFormat.kif 25969-25969
(termFormat ChineseTraditionalLanguage GigaFn "千兆") domainEnglishFormat.kif 25968-25968
(termFormat EnglishLanguage GigaFn "giga") domainEnglishFormat.kif 25967-25967

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6155-6159

consequent
-------------------------


(=>
    (and
        (instance ?N 4GNetwork)
        (bandwidth ?N ?M))
    (lessThan ?M
        (MeasureFn BitsPerSecond
            (GigaFn 1))))
ComputingBrands.kif 1313-1317
(=>
    (and
        (instance ?WN
            (NetworkCommunicationFn BluetoothNetwork))
        (instance ?R RadiatingElectromagnetic)
        (subProcess ?R ?WN)
        (carrierFrequency ?R ?W))
    (and
        (greaterThan ?W
            (GigaFn
                (MeasureFn Hertz 2.4)))
        (lessThan ?W
            (GigaFn
                (MeasureFn Hertz 2.485)))))
ComputingBrands.kif 1557-1565


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