No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24520-24524 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24960-24964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24972-24976 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24978-24982 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24948-24952 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24954-24958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24966-24970 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3382-3384 |
|