No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11715-11725 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 313-319 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17110-17115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17094-17099 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17127-17132 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2572-2588 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 161-172 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3217-3231 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2554-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28839-28860 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4885-4899 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1849-1862 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 322-337 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4560-4577 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 893-906 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2600-2620 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2650-2665 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1614-1622 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1174-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1594-1602 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1582-1590 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4107-4115 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4130-4140 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2447-2456 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |