No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | RadioSystem e' uma sub-classe de CommunicationSystem |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 236-236 | AMRadioSystem e' uma sub-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 241-241 | FMRadioSystem e' uma sub-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 246-246 | ShortwaveRadioSystem e' uma sub-classe de RadioSystem |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 251-251 | BabyMonitoringSystem e' uma sub-classe de RadioSystem |