material |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15241-15243 | |
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 25188-25194 | |
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 2467-2469 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2463-2465 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2471-2473 | |
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 15253-15255 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15266-15268 | |
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 4730-4732 |
|
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 |