No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2940-2948 |
|
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. |
Merge.kif 6157-6163 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4319-4332 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16968-16973 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16984-16989 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1122-1131 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14481-14492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7501-7511 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7492-7499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15966-15980 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14802-14815 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1007-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1027-1040 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13290-13296 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 67-80 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5803-5812 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4208-4223 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4281-4293 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3375-3385 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3418-3428 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3438-3448 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4596-4612 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16270-16279 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16618-16624 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |