instrument |
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. | Mid-level-ontology.kif 10646-10656 | |
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. | Cars.kif 3901-3911 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3913-3929 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13007-13015 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10606-10616 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3169-3180 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 |
|
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. | Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4123-4133 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25263-25274 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25251-25261 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3376-3408 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3475-3507 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6636-6644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25809-25826 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3988-4002 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 365-372 | |
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. | naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2181-2191 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |