No TPTP formula. May not be expressible in strict first order. |
Government.kif 706-713 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7960-7967 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2438-2445 |
|
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. |
FinancialOntology.kif 2754-2766 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2768-2780 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23513-23526 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22260-22273 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 955-964 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2669-2685 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2623-2639 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2687-2703 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2641-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3312-3321 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8110-8122 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2373-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 839-844 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12795-12802 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12282-12289 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3097-3110 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 979-984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23280-23287 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8124-8130 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |