carrierFrequency - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - carrierFrequency

carrierFrequency

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1553-1553
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1552-1552
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1550-1551
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1554-1555
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1548-1548	The number 1 argument of carrier frequency is an instance of radiating
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1549-1549	The number 2 argument of carrier frequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1547-1547	carrier frequency is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1559-1559
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1558-1558
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1557-1557
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1560-1560
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1564-1564
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1563-1563
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1562-1562
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1565-1565

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is a real number hertz(s) and the wavelength of the radiating is another real number meter(s), then the other real number meter(s) is equal to 299792458 and the real number meter(s)
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	If a process is an instance of communication over Bluetooth network and a radiating is an instance of radiating electromagnetic and the radiating is a subprocess of the process and the frequency of the carrier of the radiating is a real number 1 billion hertzs(s), then the real number is greater than 2.4 and the real number 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 is open source software produced by Articulate Software and its partners