FloorFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2234-2235
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4831-4832
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 898-899
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4828-4828	The number 1 argument of floor is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4827-4827	Floor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4826-4826	Floor is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4829-4829	The range of floor is an instance of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 698-698
No TPTP formula. May not be expressible in strict first order.	english_format.kif 700-700
No TPTP formula. May not be expressible in strict first order.	french_format.kif 422-422
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 112-112
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2139-2139
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 911-911
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 152-152
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 444-444
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 473-473
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 234-234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24260-24260
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 699-699
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24259-24259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24258-24258
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 235-235

antecedent

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

Merge.kif 5117-5128

consequent

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

Merge.kif 5104-5115