|
|
   DoNetworkMessaging
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DoNetworkMessaging EnglishLanguage "DoNetworkMessaging is those instances of NetworkCommunication in which messages are sent back and forth among users .") | ComputerInput.kif 2892-2893 | |
| (subclass DoNetworkMessaging NetworkCommunication) | ComputerInput.kif 2891-2891 | DoNetworkMessaging 是 NetworkCommunication 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AudioMessaging DoNetworkMessaging) | ComputerInput.kif 2901-2901 | AudioMessaging 是 DoNetworkMessaging 的 subclass |
| (subclass Emailing DoNetworkMessaging) | ComputerInput.kif 2921-2921 | 电邮 是 DoNetworkMessaging 的 subclass |
| (subclass LiveVideoMessaging DoNetworkMessaging) | ComputerInput.kif 2910-2910 | LiveVideoMessaging 是 DoNetworkMessaging 的 subclass |
| (subclass Tweeting DoNetworkMessaging) | ComputerInput.kif 2895-2895 | Tweeting 是 DoNetworkMessaging 的 subclass |
| (subclass WebChatting DoNetworkMessaging) | ComputerInput.kif 2915-2915 | WebChatting 是 DoNetworkMessaging 的 subclass |
| (termFormat EnglishLanguage DoNetworkMessaging "do network messaging") | domainEnglishFormat.kif 64778-64778 |
| antecedent |
|
|
| (=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3040-3054 | |
| (=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3022-3038 |
|
|
|
|