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 24590-24590 |
子類 PostalPlace and ContactSite |
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 24561-24561 |
子類 TelephonyDevice and ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24559-24559 |
|