No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14322-14328 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13816-13818 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13746-13747 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13772-13774 |
|
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 22292-22298 |
|
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 14355-14358 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14382-14384 |
|