No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1761-1767 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 881-892 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 831-842 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 900-912 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 861-872 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1865-1877 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3624-3637 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3652-3665 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3677-3690 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3703-3716 |
|