No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17332-17345 |
|
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 12014-12026 |
|
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 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. |
Merge.kif 10863-10870 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12092-12106 |
|
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 21432-21443 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13142-13148 |
|
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 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. |
Merge.kif 15400-15407 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15431-15440 |
|
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 |