|
|
   TelecomNumber
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24875-24875 | TelecomNumber e' uma sub-classe de ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | TelecomNumber e' uma sub-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 e' uma sub-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 | O argumento numero 2 de accountPhoneNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24880-24880 | O argumento numero 1 de deviceTelecomNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25152-25152 | O argumento numero 1 de faxNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25018-25018 | O argumento numero 1 de homePhoneNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25118-25118 | O argumento numero 1 de mobilePhoneNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24998-24998 | O argumento numero 1 de personalPhoneNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24914-24914 | O argumento numero 2 de telecomAreaCode e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24929-24929 | O argumento numero 2 de telecomCode2 e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24890-24890 | O argumento numero 2 de telecomCoreNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24901-24901 | O argumento numero 2 de telecomCountryCode e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24940-24940 | O argumento numero 2 de telecomExtension e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24986-24986 | O argumento numero 1 de telephoneNumber e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25048-25048 | O argumento numero 1 de workPhoneNumber e' uma instancia de TelecomNumber |
|
|
|