No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2025-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31855-31864 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31866-31876 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3231-3235 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3534-3543 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3545-3555 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1312-1324 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3095-3114 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3056-3073 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2771-2783 |
|
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 2956-2983 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 86-98 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 311-324 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2640-2656 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2704-2720 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32892-32907 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32859-32874 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32909-32923 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32876-32890 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1257-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 839-846 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |