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 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2811-2830 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2142-2154 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11631-11639 |
|
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 2930-2948 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2957-2973 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7231-7240 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2730-2744 |
|
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 8154-8162 |
|
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 2909-2921 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12910-12920 |
|
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 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17352-17368 |
|
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 |