Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CommunicationRadio(communication radio) |
| appearance as argument number 1 |
|
| (subclass CommunicationRadio CommunicationDevice) | Communications.kif 21-21 | Communication radio is a subclass of communication device |
| (documentation CommunicationRadio EnglishLanguage "Relatively low power broadcasting devices designed for voice communication among specialized groups in which each receiver also has the power to transmit, unlike broadcast radio where most components transmitting or receiving on a given frequency or set of frequencies are receivers only. This includes unlicensed walkie_talkies, public safety radios, military communication systems and CB radios.") | Communications.kif 22-28 | Communication radio is a subclass of communication device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON RadioOperator) (hasSkill (OperatingFn CommunicationRadio) ?PERSON)) |
Transportation.kif 4966-4968 | If radio operator is an attribute of X, then X has the skill to do the operating of communication radio |
|