No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14479-14483 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14477-14477 |
域 subLanguage, 1 and Language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14478-14478 |
域 subLanguage, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14475-14475 |
例 subLanguage and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14476-14476 |
例 subLanguage and PartialOrderingRelation |