No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13505-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13516-13527 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13467-13477 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18463-18468 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3040-3054 |
|
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 2585-2603 |
|
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. |
Dining.kif 336-350 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 223-234 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
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 23916-23932 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18225-18235 |
|
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 2567-2583 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1545-1555 |
|
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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |