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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PostingOnBlog

Sigma KEE - PostingOnBlog
PostingOnBlog(posting on blog)

appearance as argument number 1
-------------------------


(documentation PostingOnBlog EnglishLanguage "PostingOnBlog is those instances of NetworkCommunication in which a ComputerUser updates a %&Blog.") ComputerInput.kif 2881-2882
(subclass PostingOnBlog UploadingOverNetwork) ComputerInput.kif 2879-2879 Posting on blog is a subclass of uploading
(subclass PostingOnBlog WrittenCommunication) ComputerInput.kif 2880-2880 Posting on blog is a subclass of written communication

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PostingOnBlog "posting on blog") domainEnglishFormat.kif 65345-65345

antecedent
-------------------------


(=>
    (instance ?ACT PostingOnBlog)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE Blog))))
ComputerInput.kif 2884-2889


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

Show without tree


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