No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 598-601 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 603-603 |
域 tTest, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 604-604 |
域 tTest, 2 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 605-605 |
域 tTest, 3 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 595-595 |
例 tTest and TernaryPredicate |