No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9094-9098 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9122-9126 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9207-9211 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9193-9197 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9179-9183 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 293-306 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1952-1959 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8683-8688 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3212-3228 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 174-182 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8748-8753 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 104-118 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 120-135 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 427-438 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 387-398 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8339-8343 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9395-9407 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9423-9433 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9435-9445 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6128-6137 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6036-6043 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16411-16427 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19202-19207 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19209-19214 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |