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 24022-24022
(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 24021-24021
(subclass Book HardcopyDocument) Media.kif 1077-1077

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


(disjoint Article Book) Mid-level-ontology.kif 12162-12162
(subclass ChristianBible Book) Mid-level-ontology.kif 7560-7560
(subclass GuideBook Book) Mid-level-ontology.kif 24024-24024
(subclass NewTestament Book) Mid-level-ontology.kif 7575-7575
(subclass Novel Book) Mid-level-ontology.kif 12389-12389
(subclass OldTestament Book) Mid-level-ontology.kif 7571-7571
(subclass ReferenceBook Book) Mid-level-ontology.kif 12356-12356
(termFormat ChineseLanguage Book "书") chinese_format.kif 1040-1040
(termFormat EnglishLanguage Book "book") english_format.kif 727-727
(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 20-20
(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 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 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 12166-12175
(=>
    (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 12182-12187
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))
Mid-level-ontology.kif 8190-8196
(=>
    (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 12134-12142


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