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 |