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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Book
Book(book)
more pictures...
American_Revised_Version, American_Standard_Version, Authorized_Version, Book, Book_of_Common_Prayer, Book_of_Mormon, Book_of_Psalms, Capital, Das_Kapital, Domesday_Book, Doomsday_Book, Douay-Rheims_Bible, Douay-Rheims_Version, Douay_Bible, Douay_Version, Erewhon, Gothic_romance, King_James_Bible, King_James_Version, Koran, McGuffey_Eclectic_Readers, New_English_Bible, Psalter, Quran, Revised_Standard_Version, Revised_Version, Rheims-Douay_Bible, Rheims-Douay_Version, Talmud, Utopia, Vulgate, al-Qur'an, album, antiphonal, antiphonary, appointment_book, appointment_calendar, bell_book, best_seller, bestiary, bestseller, bible, bodice_ripper, book, book_of_instructions, booklet, bound, breviary, brochure, casebook...

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


(documentation Book EnglishLanguage "A Document that has pages and is bound.") Mid-level-ontology.kif 24463-24463
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") pictureList.kif 2762-2762 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG" is a URL depicting book
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") pictureList.kif 2649-2649 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg" is a URL depicting book
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") pictureList.kif 2759-2759 "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg" is a URL depicting book
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") pictureList.kif 2761-2761 "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg" is a URL depicting book
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg") pictureList.kif 46-46 "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg" is a URL depicting book
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg") pictureList.kif 2760-2760 "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg" is a URL depicting book
(externalImage Book "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png") pictureList.kif 281-281 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png" is a URL depicting book
(subclass Book Document) Mid-level-ontology.kif 24462-24462 Book is a subclass of Document
(subclass Book HardcopyDocument) Media.kif 1077-1077 Book is a subclass of HardcopyDocument

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


(disjoint Article Book) Mid-level-ontology.kif 12422-12422 Article is disjoint from book
(subclass ChristianBible Book) Mid-level-ontology.kif 7564-7564 Christian bible is a subclass of book
(subclass GuideBook Book) Mid-level-ontology.kif 24465-24465 Guide book is a subclass of book
(subclass NewTestament Book) Mid-level-ontology.kif 7579-7579 New testament is a subclass of book
(subclass Novel Book) Mid-level-ontology.kif 12649-12649 Novel is a subclass of book
(subclass OldTestament Book) Mid-level-ontology.kif 7575-7575 Old testament is a subclass of book
(subclass ReferenceBook Book) Mid-level-ontology.kif 12616-12616 Reference book is a subclass of book
(termFormat ChineseLanguage Book "书") chinese_format.kif 1040-1040 "书" is the printable form of book in ChineseLanguage
(termFormat EnglishLanguage Book "book") english_format.kif 1191-1191 "book" is the printable form of book in english language
(termFormat JapaneseLanguage Book "本") english_format.kif 1192-1192 "本" is the printable form of book in japanese language

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1902-1906
(=>
    (and
        (instance ?ARTICLE1 Article)
        (instance ?BOOK Book)
        (subsumesContentInstance ?BOOK ?ARTICLE1))
    (exists (?ARTICLE2)
        (and
            (instance ?ARTICLE2 Article)
            (not
                (equal ?ARTICLE2 ?ARTICLE1))
            (subsumesContentInstance ?BOOK ?ARTICLE2))))
Mid-level-ontology.kif 12426-12435
(=>
    (instance ?BOOK Book)
    (exists (?SHEET1 ?SHEET2)
        (and
            (component ?SHEET1 ?BOOK)
            (component ?SHEET2 ?BOOK)
            (instance ?SHEET1 PrintedSheet)
            (instance ?SHEET2 PrintedSheet)
            (not
                (equal ?SHEET1 ?SHEET2)))))
Media.kif 1079-1087

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))
naics.kif 7607-7625
(=>
    (instance ?CHAPTER Chapter)
    (exists (?BOOK)
        (and
            (instance ?BOOK Book)
            (subsumesContentInstance ?BOOK ?CHAPTER))))
Mid-level-ontology.kif 12442-12447
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))
Mid-level-ontology.kif 8202-8208
(=>
    (instance ?SERIES Series)
    (exists (?BOOK1 ?BOOK2)
        (and
            (instance ?BOOK1 Book)
            (instance ?BOOK2 Book)
            (subsumesContentInstance ?SERIES ?BOOK1)
            (subsumesContentInstance ?SERIES ?BOOK2)
            (not
                (equal ?BOOK1 ?BOOK2)))))
Mid-level-ontology.kif 12394-12402


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners