No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 134-143 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13188-13192 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 311-324 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 513-526 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 347-349 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 653-661 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14117-14121 |
|