No TPTP formula. May not be expressible in strict first order. |
engineering.kif 224-224 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 228-228 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 723-723 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 710-710 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 714-714 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 107-107 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 707-707 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34187-34187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34186-34186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34185-34185 |
|