TreeView Knowledge Base Browser - GigaFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GigaFn

GigaFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2446-2448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6499-6501
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1138-1140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6496-6496	The number 1 argument of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6495-6495	Giga is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6497-6497	The range of giga is an instance of unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 639-639
No TPTP formula. May not be expressible in strict first order.	english_format.kif 642-642
No TPTP formula. May not be expressible in strict first order.	french_format.kif 386-386
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 118-118
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2116-2116
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 338-338
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 835-835
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 158-158
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 408-408
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 429-429
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 244-244
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 640-640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26046-26046
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26045-26045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26044-26044
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 245-245

antecedent

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.	Merge.kif 6503-6507	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 billion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 1 thousand the unit of measures(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 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