No TPTP formula. May not be expressible in strict first order. |
Government.kif 669-676 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8045-8052 |
|
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 139-148 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2771-2783 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2785-2797 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25154-25167 |
|
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 23901-23914 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1465-1482 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1064-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2686-2702 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2640-2656 |
|
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. |
FinancialOntology.kif 3329-3338 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8223-8235 |
|
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 832-837 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12949-12956 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12432-12439 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3114-3127 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1088-1093 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24921-24928 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8237-8243 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |