| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24872-24872 | TelecomNumber e' uma sub-classe de VirtualAddress |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | TelecomNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber e' uma sub-classe de ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25085-25085 | Hotline e' uma sub-classe de TelecomNumber |
|
|