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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DenominatorFn

Sigma KEE - DenominatorFn
DenominatorFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2230-2231
No TPTP formula. May not be expressible in strict first order. Merge.kif 4813-4814
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 894-895
No TPTP formula. May not be expressible in strict first order. Merge.kif 4810-4810 The number 1 argument of denominator is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4809-4809 Denominator is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4808-4808 Denominator is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4811-4811 The range of denominator is an instance of integer

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 694-694
No TPTP formula. May not be expressible in strict first order. english_format.kif 696-696
No TPTP formula. May not be expressible in strict first order. french_format.kif 420-420
No TPTP formula. May not be expressible in strict first order. relations-it.txt 68-68
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2137-2137
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 372-372
No TPTP formula. May not be expressible in strict first order. relations-de.txt 907-907
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 109-109
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 442-442
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 471-471
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 102-102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19044-19044
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 695-695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19043-19043
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19042-19042
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 153-153


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