No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4645-4658 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4669-4682 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3124-3136 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1399-1415 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10025-10046 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7016-7030 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2811-2830 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1314-1348 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13953-13966 |
|
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. |
Cars.kif 2986-2992 |
|
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. |
Medicine.kif 2336-2351 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2382-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3155-3165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8985-8989 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1248-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2969-2986 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2993-3011 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3018-3036 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2945-2962 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |