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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CatalyticConverter

Sigma KEE - PeriodicalPublisher
PeriodicalPublisher

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


(documentation PeriodicalPublisher EnglishLanguage "Any Publisher that publishes Periodicals, e.g. newspaper and magazine publishing houses.") Mid-level-ontology.kif 15838-15839
(externalImage PeriodicalPublisher "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9a/ Zeitschriften.JPG") pictureList.kif 8652-8652
(subclass PeriodicalPublisher Publisher) Mid-level-ontology.kif 15837-15837 PeriodicalPublisher è una sottoclasse di Publisher

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


(termFormat ChineseLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45200-45200
(termFormat ChineseTraditionalLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45199-45199
(termFormat EnglishLanguage PeriodicalPublisher "periodical publisher") domainEnglishFormat.kif 45198-45198

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


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


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