No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3282-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3079-3093 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3333-3356 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3735-3756 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2229-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17985-18010 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29871-29877 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29879-29885 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8089-8102 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3929-3937 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5240-5246 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19662-19669 |
|