No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7740-7745 |
|
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 17516-17521 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1647-1668 |
|
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 15335-15340 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 964-973 |
|
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 15345-15350 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26009-26020 |
|
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 2826-2851 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3031-3058 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17571-17577 |
|