No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9116-9120 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9144-9148 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9229-9233 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9215-9219 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9201-9205 |
|
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 8705-8710 |
|
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 8770-8775 |
|
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 8361-8365 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9417-9429 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9445-9455 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9457-9467 |
|
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 16410-16426 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19201-19206 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19208-19213 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |