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 域 接班人, 1 and Integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5300-5300 例 接班人 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5299-5299 例 接班人 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 5302-5302 範圍 接班人 and 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 Integer 等於 接班人 Integer and 加成 Integer and 1
No TPTP formula. May not be expressible in strict first order. Merge.kif 3037-3040 @ROW Entity 等於 列表長度 名單 @ROW and entity and 接班人 列表長度 名單 @ROW


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