No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1926-1930 |
Nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est plus grand ou �gal � 0 nombre r�el est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 359-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18743-18753 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18759-18769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18775-18785 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1132-1152 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1419-1425 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6022-6028 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1445-1457 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 917-925 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 906-915 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8045-8052 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 686-699 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 571-578 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 495-502 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 533-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13831-13839 |
|
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. |
Geography.kif 7142-7162 |
|
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. |
Cars.kif 2811-2830 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1003-1012 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |