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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoundFn

Sigma KEE - RoundFn
RoundFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2269-2270
No TPTP formula. May not be expressible in strict first order. Merge.kif 5173-5175
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 934-936
No TPTP formula. May not be expressible in strict first order. Merge.kif 5170-5170 The number 1 argument of round is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5169-5169 Round is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5167-5167 Round is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5171-5171 The range of round is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 724-724
No TPTP formula. May not be expressible in strict first order. english_format.kif 726-726
No TPTP formula. May not be expressible in strict first order. french_format.kif 435-435
No TPTP formula. May not be expressible in strict first order. relations-it.txt 258-258
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2152-2152
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 387-387
No TPTP formula. May not be expressible in strict first order. relations-de.txt 937-937
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 295-295
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 457-457
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 497-497
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 725-725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50522-50522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50521-50521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50520-50520


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