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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Periodical
Periodical(periodique)

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


(documentation Periodical EnglishLanguage "A Series whose elements are published separately and on a periodic basis.") Mid-level-ontology.kif 16045-16046
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG") pictureList.kif 2721-2721
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg") pictureList.kif 2901-2901
(subclass Periodical Series) Mid-level-ontology.kif 16044-16044 Periodique est une sous-classe de series

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


(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 16035-16035 Les valeurs retourn�es par PeriodicalIssueFn sont des sous-classes de periodique
(subclass Magazine Periodical) Mid-level-ontology.kif 16173-16173 Magazine est une sous-classe de periodique
(subclass Newspaper Periodical) Mid-level-ontology.kif 16150-16150 Newspaper est une sous-classe de periodique
(termFormat ChineseLanguage Periodical "期刊") chinese_format.kif 1043-1043 Newspaper est une sous-classe de periodique
(termFormat EnglishLanguage Periodical "periodical") english_format.kif 1297-1297 Newspaper est une sous-classe de periodique
(termFormat FrenchLanguage Periodical "periodique") french_format.kif 721-721 Newspaper est une sous-classe de periodique
(termFormat Hindi Periodical "saavadhika") terms-hindi.txt 252-252 Newspaper est une sous-classe de periodique
(termFormat ItalianLanguage Periodical "Periodico") terms-it.txt 255-255 Newspaper est une sous-classe de periodique
(termFormat JapaneseLanguage Periodical "周期的") japanese_format.kif 2405-2405 Newspaper est une sous-classe de periodique
(termFormat PortugueseLanguage Periodical "Periodico") portuguese_format.kif 673-673 Newspaper est une sous-classe de periodique
(termFormat cb Periodical "peryodiko") terms-cb.txt 257-257 Newspaper est une sous-classe de periodique
(termFormat cz Periodical "periodical") terms-cz.txt 291-291 Newspaper est une sous-classe de periodique
(termFormat de Periodical "Zeitschrift") terms-de.txt 550-550 Newspaper est une sous-classe de periodique
(termFormat ro Periodical "publicaþie periodicã") relations-ro.kif 742-742 Newspaper est une sous-classe de periodique
(termFormat tg Periodical "pahayagan") terms-tg.txt 256-256 Newspaper est une sous-classe de periodique

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


(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 16033-16033 Le nombre 1 argument de PeriodicalIssueFn est une sous-classe de periodique

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1908-1912
(=>
    (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 15995-16009

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


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


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