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

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


(disjoint Article Book) Mid-level-ontology.kif 11457-11457
(subclass ChristianBible Book) Mid-level-ontology.kif 6873-6873
(subclass GuideBook Book) Mid-level-ontology.kif 22619-22619
(subclass NewTestament Book) Mid-level-ontology.kif 6888-6888
(subclass Novel Book) Mid-level-ontology.kif 11685-11685
(subclass OldTestament Book) Mid-level-ontology.kif 6884-6884
(subclass ReferenceBook Book) Mid-level-ontology.kif 11652-11652
(termFormat ChineseLanguage Book "δΉ¦") chinese_format.kif 1040-1040
(termFormat EnglishLanguage Book "book") english_format.kif 1296-1296

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 11461-11470
(=>
    (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 11477-11482
(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))
Mid-level-ontology.kif 7369-7375
(=>
    (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 11429-11437


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 3.0 is open source software produced by Articulate Software and its partners