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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TeraFn
TeraFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2449-2451
No TPTP formula. May not be expressible in strict first order. Merge.kif 6513-6515
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1141-1143
No TPTP formula. May not be expressible in strict first order. Merge.kif 6510-6510 O argumento numero 1 de TeraFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6509-6509 TeraFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6511-6511 O contra-dominio de TeraFn 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 641-641
No TPTP formula. May not be expressible in strict first order. english_format.kif 644-644
No TPTP formula. May not be expressible in strict first order. french_format.kif 387-387
No TPTP formula. May not be expressible in strict first order. relations-it.txt 297-297
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2117-2117
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 339-339
No TPTP formula. May not be expressible in strict first order. relations-de.txt 837-837
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 333-333
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 409-409
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 430-430
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 489-489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57512-57512
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 642-642
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57511-57511
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57510-57510

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6517-6521


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