No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1937-1941 |
A real number is an instance of nonnegative real number if and only if the real number is greater than or equal to 0 and the real number is an instance of real number |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 347-353 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20314-20324 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20330-20340 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20346-20356 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1094-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1550-1556 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6047-6053 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1574-1586 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1555-1567 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1536-1548 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1152-1160 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1141-1150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9212-9219 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 688-701 |
|
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 13984-13992 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4983-4996 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5007-5020 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7446-7466 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1368-1386 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2795-2814 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 965-974 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |