No TPTP formula. May not be expressible in strict first order. |
Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7168-7181 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 459-472 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 688-699 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8394-8401 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15665-15682 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24561-24566 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31514-31523 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8835-8842 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1631-1640 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8819-8826 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7972-7976 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7954-7958 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12313-12322 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1337-1352 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2486-2496 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8375-8380 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28872-28898 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8803-8810 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2805-2817 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15995-16009 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8258-8262 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4317-4321 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |