No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9921-9928 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9939-9945 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9930-9937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18126-18133 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3617-3632 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1621-1628 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1639-1645 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1028-1033 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4263-4266 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9902-9905 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4512-4517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1758-1766 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5206-5226 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3662-3667 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1016-1034 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6053-6058 |
|