Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AudioMessaging(audio messaging) |
| appearance as argument number 1 |
|
| (subclass AudioMessaging DoNetworkMessaging) | ComputerInput.kif 2917-2917 | Audio messaging is a subclass of do network messaging |
| (documentation AudioMessaging EnglishLanguage "AudioMessaging is those instances of DoNetworkMessaging in which audio messages are sent among users.") | ComputerInput.kif 2918-2919 | Audio messaging is a subclass of do network messaging |
| appearance as argument number 2 |
|
|
|