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 5004-5006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5000-5000 The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5001-5001 The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4997-4997 Remainder is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4999-4999 Remainder is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5002-5002 The range of remainder is an instance of integer

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. chinese_format.kif 723-723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49425-49425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49424-49424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49423-49423

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5019
No TPTP formula. May not be expressible in strict first order. Merge.kif 5034-5042

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4765-4776
No TPTP formula. May not be expressible in strict first order. Merge.kif 4778-4792
No TPTP formula. May not be expressible in strict first order. Merge.kif 4850-4860
No TPTP formula. May not be expressible in strict first order. Merge.kif 4862-4876
No TPTP formula. May not be expressible in strict first order. Merge.kif 8900-8908
No TPTP formula. May not be expressible in strict first order. Merge.kif 5021-5032
No TPTP formula. May not be expressible in strict first order. Merge.kif 5044-5047
No TPTP formula. May not be expressible in strict first order. Merge.kif 5049-5052
No TPTP formula. May not be expressible in strict first order. Merge.kif 5054-5065


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