No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3968-3979 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1596-1603 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3429-3433 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30255-30266 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 3062-3075 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 3091-3103 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2617-2622 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13015-13017 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1561-1564 |
|