No TPTP formula. May not be expressible in strict first order. |
Media.kif 1936-1941 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1943-1948 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3754-3764 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12715-12728 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 587-597 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12190-12198 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22260-22273 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8430-8439 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1959-1963 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2808-2820 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14789-14798 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16816-16827 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1533-1541 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 941-955 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8258-8260 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7998-8005 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8016-8023 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9447-9457 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7917-7927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22203-22214 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14376-14382 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1844-1851 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |