approximateValue |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3155-3165 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2463-2478 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1440-1450 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2836-2845 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5933-5944 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 754-762 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 799-834 |
|