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 |