No TPTP formula. May not be expressible in strict first order. |
Government.kif 714-719 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1981-1990 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1224-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1273-1282 |
|
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 774-783 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1411-1421 |
|
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 8525-8535 |
|
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. |
Merge.kif 17485-17487 |
|