No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16799-16799 |
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 |
|