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 24880-24880 |
域 deviceTelecomNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25152-25152 |
域 faxNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25018-25018 |
域 homePhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25118-25118 |
域 mobilePhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24998-24998 |
域 personalPhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24914-24914 |
域 telecomAreaCode, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24929-24929 |
域 telecomCode2, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24890-24890 |
域 telecomCoreNumber, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24901-24901 |
域 telecomCountryCode, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24940-24940 |
域 telecomExtension, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24986-24986 |
域 電話號碼, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25048-25048 |
域 workPhoneNumber, 1 and TelecomNumber |