No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17354-17367 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2673-2682 |
|
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 12036-12048 |
|
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 2516-2530 |
|
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 2362-2369 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2439-2453 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2361-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10885-10892 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12114-12128 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21431-21442 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13164-13170 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 922-929 |
|
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 2187-2201 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2092-2110 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15422-15429 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15453-15462 |
|
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 484-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 349-366 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |