No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | Telecom number is a subclass of virtual address |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | Telecom number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24875-24875 | Telecom number is a subclass of contact site |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25086-25086 | Hotline is a subclass of telecom number |