No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3519-3530 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 376-387 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 399-410 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 127-132 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 635-640 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1854-1859 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1884-1889 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1867-1876 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 244-253 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 91-101 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 36-46 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 51-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2813-2838 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3018-3045 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 388-407 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 373-382 |
|