No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | BroadcastingStation est une sous-classe de artefact stationnaire |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 219-219 | BroadcastingStation est une sous-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | BroadcastingStation est une sous-classe de composant d'un appareil |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 287-287 | RadioStation est une sous-classe de BroadcastingStation |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 322-322 | TelevisionStation est une sous-classe de BroadcastingStation |
![]() |