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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Periodical

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 14674-14675
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG") pictureList.kif 2722-2722
(externalImage Periodical "http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg") pictureList.kif 2902-2902
(subclass Periodical Series) Mid-level-ontology.kif 14673-14673 周期的シリーズsubclass では %n

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


(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 14664-14664 PeriodicalIssueFn が返す値は 周期的subclasses では %n
(subclass Magazine Periodical) Mid-level-ontology.kif 14800-14800 Magazine周期的subclass では %n
(subclass Newspaper Periodical) Mid-level-ontology.kif 14777-14777 Newspaper周期的subclass では %n
(termFormat ChineseLanguage Periodical "期刊") chinese_format.kif 1043-1043
(termFormat EnglishLanguage Periodical "periodical") english_format.kif 1297-1297
(termFormat FrenchLanguage Periodical "periodique") french_format.kif 721-721
(termFormat Hindi Periodical "saavadhika") terms-hindi.txt 252-252
(termFormat ItalianLanguage Periodical "Periodico") terms-it.txt 255-255
(termFormat JapaneseLanguage Periodical "周期的") japanese_format.kif 2405-2405
(termFormat PortugueseLanguage Periodical "Periodico") portuguese_format.kif 673-673
(termFormat cb Periodical "peryodiko") terms-cb.txt 257-257
(termFormat cz Periodical "periodical") terms-cz.txt 291-291
(termFormat ro Periodical "publicaþie periodicã") relations-ro.kif 742-742
(termFormat tg Periodical "pahayagan") terms-tg.txt 256-256

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


(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 14662-14662 PeriodicalIssueFn の数値 1 引数は 周期的subclass では %n

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1906-1910
(=>
    (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 14624-14638

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


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


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