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 5305-5306
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 5302-5302 Le nombre 1 argument de SuccessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. Merge.kif 5301-5301 SuccessorFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5300-5300 SuccessorFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 5303-5303 Le domaine de SuccessorFn 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 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 55899-55899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55898-55898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55897-55897

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5308-5310

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5329-5331
No TPTP formula. May not be expressible in strict first order. Merge.kif 5325-5327
No TPTP formula. May not be expressible in strict first order. Merge.kif 5312-5314

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4721-4722 Nombre entier ( nombre entier+1) est nombre entier + 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3038-3041 @ROW Entit� longueur de (@ROW + entit�) est longueur de (@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