No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4158-4158 |
域 accountPhoneNumber, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24879-24879 |
域 deviceTelecomNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25151-25151 |
域 faxNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25017-25017 |
域 homePhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25117-25117 |
域 mobilePhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24997-24997 |
域 personalPhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24913-24913 |
域 telecomAreaCode, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24928-24928 |
域 telecomCode2, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24889-24889 |
域 telecomCoreNumber, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24900-24900 |
域 telecomCountryCode, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24939-24939 |
域 telecomExtension, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24985-24985 |
域 電話號碼, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25047-25047 |
域 workPhoneNumber, 1 and TelecomNumber |