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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Book

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 25743-25743
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") pictureList.kif 2762-2762
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") pictureList.kif 2649-2649
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") pictureList.kif 2759-2759
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") pictureList.kif 2761-2761
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg") pictureList.kif 46-46
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg") pictureList.kif 2760-2760
(externalImage Book "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png") pictureList.kif 281-281
(subclass Book Document) Mid-level-ontology.kif 25742-25742 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 14115-14115 Article is disjoint from book
(subclass ChristianBible Book) Mid-level-ontology.kif 7507-7507 Christian bible is a subclass of book
(subclass GuideBook Book) Mid-level-ontology.kif 25745-25745 Guide book is a subclass of book
(subclass NewTestament Book) Mid-level-ontology.kif 7522-7522 New testament is a subclass of book
(subclass Novel Book) Mid-level-ontology.kif 14363-14363 Novel is a subclass of book
(subclass OldTestament Book) Mid-level-ontology.kif 7518-7518 Old testament is a subclass of book
(subclass ReferenceBook Book) Mid-level-ontology.kif 14330-14330 Reference book is a subclass of book
(termFormat ChineseLanguage Book "δΉ¦") chinese_format.kif 1040-1040
(termFormat EnglishLanguage Book "book") english_format.kif 1291-1291

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 14119-14128
(=>
    (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 7600-7618
(=>
    (instance ?CHAPTER Chapter)
    (exists (?BOOK)
        (and
            (instance ?BOOK Book)
            (subsumesContentInstance ?BOOK ?CHAPTER))))
Mid-level-ontology.kif 14135-14140
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))
Mid-level-ontology.kif 8057-8063
(=>
    (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 14087-14095


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