Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GigaFn
GigaFn

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


(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6614-6614 Giga is an instance of unit of measure multiplier
(domain GigaFn 1 UnitOfMeasure) Merge.kif 6615-6615 The number 1 argument of giga is an instance of unit of measure
(range GigaFn UnitOfMeasure) Merge.kif 6616-6616 The range of giga is an instance of unit of measure
(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 6618-6620 The range of giga is an instance of unit of measure

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


(termFormat EnglishLanguage GigaFn "giga") domainEnglishFormat.kif 26048-26048
(termFormat ChineseTraditionalLanguage GigaFn "千兆") domainEnglishFormat.kif 26049-26049
(termFormat ChineseLanguage GigaFn "千兆") domainEnglishFormat.kif 26050-26050
(format EnglishLanguage GigaFn "1 billion %1s") english_format.kif 642-642

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6622-6626 If X is an instance of unit of measure and equal Y and 1 billion Z, then equal 1 Y(s) and 1000000 1 thousand Z(s)
(=>
    (and
        (instance ?N Network4G)
        (bandwidth ?N
            (MeasureFn ?M
                (GigaFn BitsPerSecond))))
    (lessThan ?M 1))		 ComputingBrands.kif 1335-1340 If X is an instance of 4G network and Y 1 billion bits per seconds(s) is a bandwidth of X, then Y is less than 1
(=>
    (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 If X is an instance of communication over Bluetooth network, Y is an instance of radiating electromagnetic, Y is a subprocess of X, and the frequency of the carrier of Y is Z 1 billion hertzs(s), then Z is greater than 2.4 and Z is less than 2.485


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners