No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1844-1848 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 540-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17897-17902 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12977-12982 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 577-584 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 65-78 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14246-14248 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2838-2840 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17529-17531 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17537-17539 |
|