No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14100-14106 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14091-14098 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14079-14089 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29974-29984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16514-16522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7231-7240 |
|
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 16816-16827 |
|
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 21354-21361 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13862-13869 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15967-15981 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16631-16638 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14954-14961 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14539-14545 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15921-15927 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12689-12695 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16818-16823 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14314-14320 |
|
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 14117-14121 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14183-14192 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14198-14207 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |