TreeView Knowledge Base Browser - BitsPerSecond

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BitsPerSecond

BitsPerSecond(bits per second)

bits_per_second, bps

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 237-238
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 236-236	Bits per second is an instance of CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11234-11234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11233-11233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11232-11232

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1211-1216	If a computer network is an instance of 2G network and a real number bits per second(s) is a bandwidth of the computer network, then the real number is less than 40000
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1256-1261	If a computer network is an instance of 3G network and a real number bits per second(s) is a bandwidth of the computer network, then the real number is less than 200000
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1303-1308	If a computer network is an instance of 4G network and a real number 1 billion bits per seconds(s) is a bandwidth of the computer network, then the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 240-242	If a physical quantity is equal to a real number bits per second(s), then the physical quantity is an instance of time dependent quantity

consequent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 845-847

If a computer component is an instance of hard disk drive,
then bits per second is an unit measuring performance of the computer component

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