material |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15219-15221 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 855-860 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25189-25195 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2615-2617 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1393-1397 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2644-2646 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1423-1427 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2461-2463 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2457-2459 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2465-2467 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2664-2668 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15231-15233 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15244-15246 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2708-2710 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6186-6191 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1139-1141 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1143-1147 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2744-2746 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4722-4724 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3444-3446 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3448-3450 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3452-3454 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3655-3657 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |