No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14294-14300 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13788-13790 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13722-13723 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13748-13750 |
|
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 22239-22245 |
|
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 14327-14330 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14354-14356 |
|