No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15446-15453 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2288-2293 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21093-21107 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21116-21128 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2295-2302 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15477-15486 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 730-740 |
|