No TPTP formula. May not be expressible in strict first order. |
Music.kif 259-268 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5907-5920 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 57-75 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 455-468 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 663-674 |
|
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 8183-8190 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15233-15250 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22343-22348 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28983-28992 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8624-8631 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8608-8615 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7791-7795 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7773-7777 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11933-11942 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2331-2341 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8164-8169 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 270-287 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26343-26369 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8592-8599 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14088-14102 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8049-8053 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4521-4525 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 646-654 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8217-8221 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |