| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | 子類 TelecomNumber and VirtualAddress |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | 子類 TelecomNumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24875-24875 | 子類 TelecomNumber and ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25086-25086 | 子類 Hotline and TelecomNumber |
|
|