No TPTP formula. May not be expressible in strict first order. |
Government.kif 1003-1012 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 990-1001 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1576-1583 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1567-1574 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1526-1533 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1517-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13975-13988 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2533-2546 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2992-2998 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2915-2927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1417-1436 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1395-1413 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 686-694 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 651-659 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 342-348 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 219-225 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 269-274 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 392-397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 311-318 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 519-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5915-5924 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2361-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2562-2576 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2336-2351 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |