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 13234-13238 |
|
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 617-625 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14144-14148 |
|