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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Periodical
Periodical

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


(documentation Periodical EnglishLanguage "A Series whose elements are published separately and on a periodic basis.") Mid-level-ontology.kif 14138-14139
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG") pictureList.kif 2723-2723
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg") pictureList.kif 2903-2903
(subclass Periodical Series) Mid-level-ontology.kif 14137-14137

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


(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 14128-14128
(subclass Magazine Periodical) Mid-level-ontology.kif 14264-14264
(subclass Newspaper Periodical) Mid-level-ontology.kif 14241-14241
(termFormat ChineseLanguage Periodical "期刊") chinese_format.kif 1043-1043
(termFormat EnglishLanguage Periodical "periodical") english_format.kif 1297-1297

appearance as argument number 3
-------------------------


(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 14126-14126

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1904-1908
(=>
    (and
        (subclass ?TEXT Periodical)
        (equal
            (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)
        (equal
            (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?VOLUME1)
        (instance ?CBO2 ?VOLUME2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))
Mid-level-ontology.kif 14088-14102

consequent
-------------------------


(=>
    (instance ?C PeriodicalPublisher)
    (exists (?PUBLISH ?PERIODICAL)
        (and
            (instance ?PUBLISH Publication)
            (agent ?PUBLISH ?C)
            (patient ?PUBLISH ?PERIODICAL)
            (instance ?PERIODICAL Periodical))))
Mid-level-ontology.kif 15259-15266


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