No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3449-3460 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 509-521 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 463-475 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1723-1739 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2817-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2148-2160 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11653-11661 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 257-270 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2936-2954 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2963-2979 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7230-7239 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2736-2750 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1960-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8153-8161 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5369-5379 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2915-2927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25092-25113 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12932-12942 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17351-17367 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4123-4133 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |