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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 24464-24464
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") pictureList.kif 2762-2762 externalImage 本 and "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG"
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") pictureList.kif 2649-2649 externalImage 本 and "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg"
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") pictureList.kif 2759-2759 externalImage 本 and "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg"
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") pictureList.kif 2761-2761 externalImage 本 and "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg"
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg") pictureList.kif 46-46 externalImage 本 and "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg"
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg") pictureList.kif 2760-2760 externalImage 本 and "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg"
(externalImage Book "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png") pictureList.kif 281-281 externalImage 本 and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png"
(subclass Book Document) Mid-level-ontology.kif 24463-24463 本 は Document の subclass では %n
(subclass Book HardcopyDocument) Media.kif 1077-1077 本 は HardcopyDocument の subclass では %n

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


(disjoint Article Book) Mid-level-ontology.kif 12423-12423 記事 と 本 は disjoint では %n
(subclass ChristianBible Book) Mid-level-ontology.kif 7565-7565 ChristianBible は 本 の subclass では %n
(subclass GuideBook Book) Mid-level-ontology.kif 24466-24466 GuideBook は 本 の subclass では %n
(subclass NewTestament Book) Mid-level-ontology.kif 7580-7580 NewTestament は 本 の subclass では %n
(subclass Novel Book) Mid-level-ontology.kif 12650-12650 Novel は 本 の subclass では %n
(subclass OldTestament Book) Mid-level-ontology.kif 7576-7576 OldTestament は 本 の subclass では %n
(subclass ReferenceBook Book) Mid-level-ontology.kif 12617-12617 ReferenceBook は 本 の subclass では %n
(termFormat ChineseLanguage Book "书") chinese_format.kif 1040-1040 termFormat ChineseLanguage, 本 and "书"
(termFormat EnglishLanguage Book "book") english_format.kif 1823-1823 termFormat EnglishLanguage, 本 and "book"
(termFormat JapaneseLanguage Book "本") english_format.kif 1824-1824 termFormat JapaneseLanguage, 本 and "本"

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 12427-12436
(=>
    (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 12443-12448
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))		 Mid-level-ontology.kif 8203-8209
(=>
    (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 12395-12403


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