No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17409-17422 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2725-2734 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 228-235 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12070-12082 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 257-270 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2568-2582 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2324-2331 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2426-2440 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2348-2367 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10907-10914 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12148-12162 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4183-4198 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21722-21733 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13198-13204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 915-922 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1551-1558 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1569-1576 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2174-2188 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2079-2097 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15455-15462 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15486-15495 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 212-218 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 472-484 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 337-354 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |