No TPTP formula. May not be expressible in strict first order. |
Cars.kif 191-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 225-238 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 171-184 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 285-296 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 654-660 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 666-671 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2537-2550 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 986-996 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 753-763 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2443-2457 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2566-2580 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2590-2598 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1579-1592 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4958-4976 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1326-1331 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 293-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23506-23511 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2328-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 802-808 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 543-549 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2191-2205 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 523-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 787-794 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |