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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GigaFn

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 6499-6501
(documentation GigaFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000,000,000単位に等しい UnitOfMeasureUnitOfMeasure をマップする。 例: (GigaFn Hertz) は1,000,000,000Hである。") japanese_format.kif 1138-1140
(domain GigaFn 1 UnitOfMeasure) Merge.kif 6496-6496 十亿倍函数 的 1 数量 是 测量单位instance
(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6495-6495 十亿倍函数UnitOfMeasureMultiplierinstance
(range GigaFn UnitOfMeasure) Merge.kif 6497-6497 十亿倍函数range测量单位 的实例

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


(format ChineseLanguage GigaFn "%1 的十亿倍") chinese_format.kif 639-639
(format EnglishLanguage GigaFn "1 billion %1s") english_format.kif 642-642
(format FrenchLanguage GigaFn "1 billion %1s ") french_format.kif 386-386
(format ItalianLanguage GigaFn "1 miliardo %1s ") relations-it.txt 118-118
(format JapaneseLanguage GigaFn "1 の billion %1s") japanese_format.kif 2116-2116
(format PortugueseLanguage GigaFn "1 bilhao %1s ") portuguese_format.kif 338-338
(format de GigaFn "1 milliarde %1") relations-de.txt 835-835
(format hi GigaFn "1 araba %1") relations-hindi.txt 158-158
(format ro GigaFn "1 billion%t{miliard} de %1") relations-ro.kif 408-408
(format sv GigaFn "1 miljard %1s ") relations-sv.txt 429-429
(format tg GigaFn "1 bilyon ang mga %1") relations-tg.txt 244-244
(termFormat ChineseLanguage GigaFn "十亿倍函数") chinese_format.kif 640-640
(termFormat ChineseLanguage GigaFn "千兆") domainEnglishFormat.kif 26046-26046
(termFormat ChineseTraditionalLanguage GigaFn "千兆") domainEnglishFormat.kif 26045-26045
(termFormat EnglishLanguage GigaFn "giga") domainEnglishFormat.kif 26044-26044
(termFormat tg GigaFn "tungkulin ng bilyon") relations-tg.txt 245-245

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


(=>
    (and
        (instance ?N Network4G)
        (bandwidth ?N
            (MeasureFn ?M
                (GigaFn BitsPerSecond))))
    (lessThan ?M 1))
ComputingBrands.kif 1335-1340
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6503-6507
(=>
    (and
        (instance ?WN
            (NetworkCommunicationFn BluetoothNetwork))
        (instance ?R RadiatingElectromagnetic)
        (subProcess ?R ?WN)
        (carrierFrequency ?R
            (MeasureFn ?W
                (GigaFn Hertz))))
    (and
        (greaterThan ?W 2.4)
        (lessThan ?W 2.485)))
ComputingBrands.kif 1579-1588


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

Show without tree


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