Proposition(proposition) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16777-16777 | Procedure is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 863-863 | Regional law is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1240-1240 | Scientific law is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 899-899 | Suffrage law is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1630-1630 | TPFDD is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 932-932 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1071-1071 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 608-608 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 139-139 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 142-142 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2293-2293 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 560-560 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 144-144 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 629-629 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 143-143 |