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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuccessorFn

Sigma KEE - SuccessorFn
SuccessorFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2280-2281
No TPTP formula. May not be expressible in strict first order. Merge.kif 5204-5205
No TPTP formula. May not be expressible in strict first order. Merge.kif 5201-5201 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5200-5200 Successor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5199-5199 Successor is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5202-5202 The range of successor is an instance of integer

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 734-734
No TPTP formula. May not be expressible in strict first order. english_format.kif 736-736
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 735-735
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55876-55876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55875-55875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55874-55874

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5207-5209

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5228-5230
No TPTP formula. May not be expressible in strict first order. Merge.kif 5224-5226
No TPTP formula. May not be expressible in strict first order. Merge.kif 5211-5213

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4624-4625 For all an integer (the integer+1) is equal to (the integer and 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 2965-2968 For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1)


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