Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GigaFn

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 6500-6502
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 6497-6497 O argumento numero 1 de GigaFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6496-6496 GigaFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6498-6498 O contra-dominio de GigaFn e' uma instancia de Unidade de Medida

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 6504-6508
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1579-1588


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