No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14078-14088 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6230-6243 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18468-18473 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18451-18456 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18485-18490 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2591-2609 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5409-5416 |
|
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. |
Mid-level-ontology.kif 23915-23931 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18247-18257 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1500-1512 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3231-3245 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2573-2589 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30650-30671 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2763-2777 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4411-4425 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2230-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10054-10077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10024-10045 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |