instrument |
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. | Mid-level-ontology.kif 10647-10657 | |
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. | Cars.kif 3893-3903 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3905-3921 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13008-13016 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10607-10617 | |
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 25093-25114 |
|
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. | Medicine.kif 4123-4133 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25264-25275 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25252-25262 | |
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 6637-6645 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25821-25838 |
|
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 |