No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7718-7723 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17517-17522 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1651-1672 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2823-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1157-1165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4476-4484 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15336-15341 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 964-972 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4019-4027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15346-15351 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26021-26032 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4107-4118 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2830-2855 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3035-3062 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17572-17578 |
|