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 24590-24590 |
PostalPlace e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24875-24875 |
TelecomNumber e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24561-24561 |
TelephonyDevice e' uma sub-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24559-24559 |
|