No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 657-657 |
InternetAddress e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24647-24647 |
PostalPlace e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24932-24932 |
TelecomNumber e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24618-24618 |
TelephonyDevice e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24616-24616 |
|