No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3163-3173 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4105-4117 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6000-6011 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1420-1427 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1439-1444 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1453-1458 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2188-2196 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2172-2180 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1260-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1589-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2886-2892 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2922-2928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10403-10409 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1441-1451 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1477-1484 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1488-1496 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1426-1432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2910-2916 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 577-586 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 801-807 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 813-819 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 826-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 777-783 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12357-12363 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1940-1953 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |