No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 467-492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30940-30954 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1933-1943 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1912-1922 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1654-1675 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1872-1881 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 933-942 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2172-2177 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 742-750 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7742-7749 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 419-428 |
|