No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14295-14301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13789-13791 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13700-13701 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13726-13728 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 971-974 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22240-22246 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 825-826 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 141-144 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1076-1078 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1099-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14328-14331 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14355-14357 |
|