No TPTP formula. May not be expressible in strict first order. |
engineering.kif 826-831 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4732-4740 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3600-3605 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1040-1047 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 855-860 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1231-1239 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1688-1693 |
|