No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9907-9914 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9925-9931 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9916-9923 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18098-18105 |
|
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 1628-1635 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1646-1652 |
|
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 9888-9891 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4517-4522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1765-1773 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5211-5231 |
|
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 |
|