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 12737-12750 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17050-17062 |
|
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 12212-12220 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22259-22272 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8452-8461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18149-18183 |
|
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 14788-14797 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16815-16826 |
|
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 8280-8282 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8020-8027 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8038-8045 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9469-9479 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7939-7949 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22202-22213 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14398-14404 |
|
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 |