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 239-240
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 238-238	Bits per second is an instance of composite unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11231-11231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11230-11230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11229-11229

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1243-1248	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 1288-1293	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 1335-1340	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 242-244	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 847-849

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