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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Book

Sigma KEE - Book
Book
more pictures...

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


(documentation Book EnglishLanguage "A Document that has pages and is bound.") Mid-level-ontology.kif 26408-26408
(externalImage Book "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ book.png") pictureList.kif 281-281
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") pictureList.kif 2761-2761
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") pictureList.kif 2648-2648
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") pictureList.kif 2758-2758
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") pictureList.kif 2760-2760
(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 2759-2759
(subclass Book Document) Mid-level-ontology.kif 26407-26407 子類 Book and Document
(subclass Book HardcopyDocument) Media.kif 1073-1073 子類 Book and HardcopyDocument

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


(disjoint Article Book) Mid-level-ontology.kif 14678-14678 不相交的 Article and Book
(subclass ChristianBible Book) Mid-level-ontology.kif 7864-7864 子類 基督教聖經 and Book
(subclass GuideBook Book) Mid-level-ontology.kif 26410-26410 子類 GuideBook and Book
(subclass NewTestament Book) Mid-level-ontology.kif 7879-7879 子類 新約 and Book
(subclass Novel Book) Mid-level-ontology.kif 14946-14946 子類 小說 and Book
(subclass OldTestament Book) Mid-level-ontology.kif 7875-7875 子類 舊約 and Book
(subclass ReferenceBook Book) Mid-level-ontology.kif 14913-14913 子類 參考書 and Book
(termFormat ChineseLanguage Book "书") chinese_format.kif 1040-1040
(termFormat EnglishLanguage Book "book") english_format.kif 1291-1291
(termFormat FrenchLanguage Book "livre") french_format.kif 718-718
(termFormat Hindi Book "pustaka") terms-hindi.txt 20-20
(termFormat ItalianLanguage Book "Libro") terms-it.txt 22-22
(termFormat JapaneseLanguage Book "本") japanese_format.kif 2402-2402
(termFormat PortugueseLanguage Book "Livro") portuguese_format.kif 670-670
(termFormat cb Book "basahon") terms-cb.txt 23-23
(termFormat cz Book "book") terms-cz.txt 288-288
(termFormat ro Book "carte") relations-ro.kif 739-739
(termFormat tg Book "aklat") terms-tg.txt 23-23

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1900-1904
(=>
    (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 14682-14691
(=>
    (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 1075-1083

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 14698-14703
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))
Mid-level-ontology.kif 8480-8486
(=>
    (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 14650-14658


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