TreeView Knowledge Base Browser

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	The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5333-5333	Predecessor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5332-5332	Predecessor is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5335-5335	The range of predecessor is an instance of 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	If an integer is an instance of integer, then the integer is equal to ((the integer+1)+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5324-5326	If an integer is an instance of integer, then the integer is equal to ((the integer+2)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5344-5346	If an integer is an instance of integer, then the integer is greater than (the integer+2)

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 4736-4737