No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2865-2869 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2371-2377 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1270-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2709-2715 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2654-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 629-645 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1802-1809 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26091-26098 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2778-2783 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18147-18153 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2824-2834 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2836-2849 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2421-2430 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26404-26410 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26917-26923 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 810-817 |
|