No TPTP formula. May not be expressible in strict first order. |
Government.kif 692-699 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7864-7871 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2435-2442 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 137-146 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22936-22949 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21716-21729 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 953-962 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 68-74 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8014-8026 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2370-2377 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 822-827 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12557-12564 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12052-12059 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 977-982 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22703-22710 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8028-8034 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7873-7876 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8116-8125 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 52-59 |
|