Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DigitalPost
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

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners