No TPTP formula. May not be expressible in strict first order. |
Communications.kif 294-294 |
AMRadioStation est un composant de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 299-299 |
FMRadioStation est un composant de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 289-289 |
RadioStation est un composant de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 304-304 |
ShortwaveRadioStation est un composant de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 236-236 |
AMRadioSystem est une sous-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 251-251 |
BabyMonitoringSystem est une sous-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 241-241 |
FMRadioSystem est une sous-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 246-246 |
ShortwaveRadioSystem est une sous-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48554-48554 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48553-48553 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48552-48552 |
|