No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14099-14105 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14090-14097 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14078-14088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29962-29972 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16513-16521 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7230-7239 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3885-3895 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2973-2981 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16815-16826 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 850-855 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21353-21360 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13861-13868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15966-15980 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16630-16637 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14953-14960 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14538-14544 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15920-15926 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12711-12717 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16840-16845 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14313-14319 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 180-186 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14116-14120 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14182-14191 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14197-14206 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |