|
|
   DigitalPost
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DigitalPost EnglishLanguage "DigitalPost is WebPage content created by the users who hasAccount on a WebSite, intended (HasPurpose) for Diseminating.") | ComputerInput.kif 2826-2827 | |
| (subclass DigitalPost DigitalData) | ComputerInput.kif 2825-2825 | DigitalPost 是 数字数据 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DigitalPost "digital post") | ComputerInput.kif 2828-2828 |
| antecedent |
|
|
| (=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W))))) |
ComputerInput.kif 2830-2844 |
|
| consequent |
|
|
| (=> (instance ?COMMENT DigitalComment) (exists (?POST) (and (instance ?POST DigitalPost) (refers ?COMMENT ?POST)))) |
ComputerInput.kif 2864-2869 |
|
| (=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST)))) |
ComputerInput.kif 2852-2857 |
|
|
|