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 15400-15407 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21066-21080 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21089-21101 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 |
|
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. | Biography.kif 730-740 |
|