No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3959-3966 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 70-81 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7118-7124 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7257-7263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7281-7291 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7179-7185 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 36-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3223-3231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7683-7691 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16201-16208 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16214-16221 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 88-99 |
|