No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 657-657 |
InternetAddress est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24589-24589 |
PostalPlace est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24874-24874 |
TelecomNumber est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24560-24560 |
TelephonyDevice est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24558-24558 |
|