No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17507-17520 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2707-2716 |
|
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 12164-12176 |
|
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 2550-2564 |
|
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 2323-2330 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3128-3142 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3050-3069 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11001-11008 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12242-12256 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4201-4216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23049-23060 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13296-13302 |
|
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 2876-2890 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2781-2799 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15553-15560 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15584-15593 |
|
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 |