No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24872-24872 | TelecomNumber 是 VirtualAddress 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | TelecomNumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber 是 ContactSite 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25085-25085 | Hotline 是 TelecomNumber 的 subclass |