No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3455-3484 |
|
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 3428-3455 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3475-3507 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12212-12220 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 801-812 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3610-3618 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 501-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18149-18183 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5305-5313 |
|
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. |
Merge.kif 13360-13371 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 295-303 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3718-3759 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 469-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2210-2223 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2174-2187 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2925-2940 |
|
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. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2808-2820 |
|
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. |
Hotel.kif 281-292 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |