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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RemainderFn

 Sigma KEE - RemainderFn
RemainderFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2267-2268
No TPTP formula. May not be expressible in strict first order. Merge.kif 5101-5103
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 932-933
No TPTP formula. May not be expressible in strict first order. Merge.kif 5097-5097 Le nombre 1 argument de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. Merge.kif 5098-5098 Le nombre 2 argument de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. Merge.kif 5094-5094 RemainderFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 5096-5096 RemainderFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 5099-5099 Le domaine de RemainderFn est une instance de nombre entier

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 722-722
No TPTP formula. May not be expressible in strict first order. english_format.kif 724-724
No TPTP formula. May not be expressible in strict first order. french_format.kif 434-434
No TPTP formula. May not be expressible in strict first order. relations-it.txt 252-252
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2151-2151
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 386-386
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 446-446
No TPTP formula. May not be expressible in strict first order. relations-de.txt 935-935
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 289-289
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 456-456
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 496-496
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 723-723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49444-49444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49443-49443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49442-49442

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5131-5143
No TPTP formula. May not be expressible in strict first order. Merge.kif 5105-5116

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4862-4873
No TPTP formula. May not be expressible in strict first order. Merge.kif 4875-4889
No TPTP formula. May not be expressible in strict first order. Merge.kif 4947-4957
No TPTP formula. May not be expressible in strict first order. Merge.kif 4959-4973
No TPTP formula. May not be expressible in strict first order. Merge.kif 9037-9045
No TPTP formula. May not be expressible in strict first order. Merge.kif 5118-5129
No TPTP formula. May not be expressible in strict first order. Merge.kif 5145-5148
No TPTP formula. May not be expressible in strict first order. Merge.kif 5150-5153
No TPTP formula. May not be expressible in strict first order. Merge.kif 5155-5166


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