instrument |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3155-3165 |
|
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 2182-2190 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2166-2174 |
|
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 10404-10410 |
|
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 12335-12341 |
|
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 |