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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chapter
Chapter(chapter)
book, chapter

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


(documentation Chapter EnglishLanguage "A numbered and/or titled section of a Book, which is typically indicated in a table of contents for the Book.") Mid-level-ontology.kif 14912-14914
(externalImage Chapter "http://upload.wikimedia.org/wikipedia/commons/3/ 38/ De_Scherrer_Toggenburg_Chronik_097.png") pictureList.kif 2778-2778
(externalImage Chapter "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ De_Scherrer_Toggenburg_Chronik_119.png") pictureList.kif 2777-2777
(externalImage Chapter "http://upload.wikimedia.org/wikipedia/commons/8/ 88/ Deutsches_Reichsgesetzblatt_1872_001_001.jpg") pictureList.kif 2654-2654
(subclass Chapter Article) Mid-level-ontology.kif 14911-14911 Chapter is a subclass of article

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


(termFormat ChineseLanguage Chapter "章节") domainEnglishFormat.kif 14182-14182
(termFormat ChineseTraditionalLanguage Chapter "章節") domainEnglishFormat.kif 14181-14181
(termFormat EnglishLanguage Chapter "chapter") domainEnglishFormat.kif 14180-14180

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


(=>
    (instance ?CHAPTER Chapter)
    (exists (?BOOK)
        (and
            (instance ?BOOK Book)
            (subsumesContentInstance ?BOOK ?CHAPTER))))
Mid-level-ontology.kif 14916-14921


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