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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Book

 Sigma KEE - Book
Book(livre)
more pictures...

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


(documentation Book EnglishLanguage "A Document that has pages and is bound.") Mid-level-ontology.kif 26704-26704
(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 2760-2760
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") pictureList.kif 2647-2647
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") pictureList.kif 2757-2757
(externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") pictureList.kif 2759-2759
(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 2758-2758
(subclass Book Document) Mid-level-ontology.kif 26703-26703 Livre est une sous-classe de Document
(subclass Book HardcopyDocument) Media.kif 1073-1073 Livre est une sous-classe de HardcopyDocument

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


(disjoint Article Book) Mid-level-ontology.kif 14928-14928 Article est disjoint de livre
(subclass ChristianBible Book) Mid-level-ontology.kif 8082-8082 ChristianBible est une sous-classe de livre
(subclass GuideBook Book) Mid-level-ontology.kif 26706-26706 GuideBook est une sous-classe de livre
(subclass NewTestament Book) Mid-level-ontology.kif 8097-8097 NewTestament est une sous-classe de livre
(subclass Novel Book) Mid-level-ontology.kif 15196-15196 Novel est une sous-classe de livre
(subclass OldTestament Book) Mid-level-ontology.kif 8093-8093 OldTestament est une sous-classe de livre
(subclass ReferenceBook Book) Mid-level-ontology.kif 15163-15163 ReferenceBook est une sous-classe de livre
(termFormat ChineseLanguage Book "书") chinese_format.kif 1040-1040 ReferenceBook est une sous-classe de livre
(termFormat EnglishLanguage Book "book") english_format.kif 1291-1291 ReferenceBook est une sous-classe de livre
(termFormat FrenchLanguage Book "livre") french_format.kif 718-718 ReferenceBook est une sous-classe de livre
(termFormat Hindi Book "pustaka") terms-hindi.txt 20-20 ReferenceBook est une sous-classe de livre
(termFormat ItalianLanguage Book "Libro") terms-it.txt 22-22 ReferenceBook est une sous-classe de livre
(termFormat JapaneseLanguage Book "本") japanese_format.kif 2402-2402 ReferenceBook est une sous-classe de livre
(termFormat PortugueseLanguage Book "Livro") portuguese_format.kif 670-670 ReferenceBook est une sous-classe de livre
(termFormat cb Book "basahon") terms-cb.txt 23-23 ReferenceBook est une sous-classe de livre
(termFormat cz Book "book") terms-cz.txt 288-288 ReferenceBook est une sous-classe de livre
(termFormat ro Book "carte") relations-ro.kif 739-739 ReferenceBook est une sous-classe de livre
(termFormat tg Book "aklat") terms-tg.txt 23-23 ReferenceBook est une sous-classe de livre

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 14932-14941
(=>
    (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 14948-14953
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))		 Mid-level-ontology.kif 8698-8704
(=>
    (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 14900-14908


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