|
|
   TelecomNumber
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24875-24875 | TelecomNumber est une sous-classe de ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | TelecomNumber est une sous-classe de VirtualAddress |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25086-25086 | Hotline est une sous-classe de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24876-24876 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4158-4158 | Le nombre 2 argument de accountPhoneNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24880-24880 | Le nombre 1 argument de deviceTelecomNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25152-25152 | Le nombre 1 argument de faxNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25018-25018 | Le nombre 1 argument de homePhoneNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25118-25118 | Le nombre 1 argument de mobilePhoneNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24998-24998 | Le nombre 1 argument de personalPhoneNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24914-24914 | Le nombre 2 argument de telecomAreaCode est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24929-24929 | Le nombre 2 argument de telecomCode2 est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24890-24890 | Le nombre 2 argument de telecomCoreNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24901-24901 | Le nombre 2 argument de telecomCountryCode est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24940-24940 | Le nombre 2 argument de telecomExtension est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24986-24986 | Le nombre 1 argument de telephoneNumber est une instance de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25048-25048 | Le nombre 1 argument de workPhoneNumber est une instance de TelecomNumber |
|
|
|