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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PredecessorFn
PredecessorFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2282-2283
No TPTP formula. May not be expressible in strict first order. Merge.kif 5337-5338
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 950-951
No TPTP formula. May not be expressible in strict first order. Merge.kif 5334-5334 域 前任, 1 and Integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5333-5333 例 前任 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5332-5332 例 前任 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 5335-5335 範圍 前任 and Integer

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 736-736
No TPTP formula. May not be expressible in strict first order. english_format.kif 738-738
No TPTP formula. May not be expressible in strict first order. french_format.kif 441-441
No TPTP formula. May not be expressible in strict first order. relations-it.txt 227-227
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2158-2158
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 393-393
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 454-454
No TPTP formula. May not be expressible in strict first order. relations-de.txt 951-951
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 265-265
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 463-463
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 504-504
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 419-419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47156-47156
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 737-737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47155-47155
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47154-47154

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5340-5342

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 5344-5346