No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2563-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 464-471 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18310-18319 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5893-5903 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9651-9664 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 97-102 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29573-29576 |
|