Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3882-3882 | 域 持有期間, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17446-17446 | 域 持有義務, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17426-17426 | 域 堅持正確, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2596-2596 | 域 增加可能性, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2597-2597 | 域 增加可能性, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2633-2633 | 域 獨立概率, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2634-2634 | 域 獨立概率, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2826-2826 | 域 知道, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17302-17302 | 域 模態屬性, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Law.kif 22-22 | 域 permits, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2687-2687 | 域 偏好, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2688-2688 | 域 偏好, 3 and Formula |
No TPTP formula. May not be expressible in strict first order. | Law.kif 44-44 | 域 prohibits, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2989-2989 | 域 rateDetail, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2846-2846 | 域 says, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4142-4142 | 域 treatedPageDefinition, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1163-1163 | 域 visitorParameter, 2 and Formula |