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 5304-5305
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 948-949
No TPTP formula. May not be expressible in strict first order. Merge.kif 5301-5301 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5300-5300 Successor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5299-5299 Successor is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5302-5302 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. french_format.kif 440-440
No TPTP formula. May not be expressible in strict first order. relations-it.txt 288-288
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2157-2157
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 392-392
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 453-453
No TPTP formula. May not be expressible in strict first order. relations-de.txt 949-949
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 325-325
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 462-462
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 503-503
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 480-480
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 55897-55897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55896-55896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55895-55895

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5307-5309

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5328-5330
No TPTP formula. May not be expressible in strict first order. Merge.kif 5324-5326
No TPTP formula. May not be expressible in strict first order. Merge.kif 5311-5313

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4720-4721 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 3037-3040 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