No TPTP formula. May not be expressible in strict first order. |
Government.kif 677-682 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 657-669 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2025-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2048-2069 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1998-2007 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1240-1249 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1289-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 44-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 736-745 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1427-1437 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1444-1459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9732-9742 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2704-2720 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2658-2676 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17638-17640 |
|