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 simplified definition (without tree view)
Show simplified definition (with tree view)