No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 657-657 |
子類 InternetAddress and ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24589-24589 |
子類 PostalPlace and ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24874-24874 |
子類 TelecomNumber and ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24560-24560 |
子類 TelephonyDevice and ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24558-24558 |
|