Book - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Book

Book(book)

more pictures...

American_Revised_Version, American_Standard_Version, Authorized_Version, Book, Book_of_Common_Prayer, Book_of_Mormon, Book_of_Psalms, Capital, Das_Kapital, Domesday_Book, Doomsday_Book, Douay-Rheims_Bible, Douay-Rheims_Version, Douay_Bible, Douay_Version, Erewhon, Gothic_romance, King_James_Bible, King_James_Version, Koran, McGuffey_Eclectic_Readers, New_English_Bible, Psalter, Quran, Revised_Standard_Version, Revised_Version, Rheims-Douay_Bible, Rheims-Douay_Version, Talmud, Utopia, Vulgate, al-Qur'an, album, antiphonal, antiphonary, appointment_book, appointment_calendar, bell_book, best_seller, bestiary, bestseller, bible, bodice_ripper, book, book_of_instructions, booklet, bound, breviary, brochure, casebook...

appearance as argument number 1

(documentation Book EnglishLanguage "A Document that has pages and is bound.")	Mid-level-ontology.kif 27503-27503
(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 27502-27502	Book is a subclass of document
(subclass Book HardcopyDocument)	Media.kif 1073-1073	Book is a subclass of hardcopy document

appearance as argument number 2

(disjoint Article Book)	Mid-level-ontology.kif 15606-15606	Article is disjoint from book
(subclass ChristianBible Book)	Mid-level-ontology.kif 8637-8637	Christian bible is a subclass of book
(subclass GuideBook Book)	Mid-level-ontology.kif 27505-27505	Guide book is a subclass of book
(subclass NewTestament Book)	Mid-level-ontology.kif 8652-8652	New testament is a subclass of book
(subclass Novel Book)	Mid-level-ontology.kif 15874-15874	Novel is a subclass of book
(subclass OldTestament Book)	Mid-level-ontology.kif 8648-8648	Old testament is a subclass of book
(subclass ReferenceBook Book)	Mid-level-ontology.kif 15841-15841	Reference book is a subclass of book
(termFormat ChineseLanguage Book "书")	chinese_format.kif 1040-1040	Reference book is a subclass of book
(termFormat EnglishLanguage Book "book")	english_format.kif 1291-1291	Reference book is a subclass of book
(termFormat FrenchLanguage Book "livre")	french_format.kif 718-718	Reference book is a subclass of book
(termFormat Hindi Book "pustaka")	terms-hindi.txt 20-20	Reference book is a subclass of book
(termFormat ItalianLanguage Book "Libro")	terms-it.txt 22-22	Reference book is a subclass of book
(termFormat JapaneseLanguage Book "本")	japanese_format.kif 2402-2402	Reference book is a subclass of book
(termFormat PortugueseLanguage Book "Livro")	portuguese_format.kif 670-670	Reference book is a subclass of book
(termFormat cb Book "basahon")	terms-cb.txt 23-23	Reference book is a subclass of book
(termFormat cz Book "book")	terms-cz.txt 288-288	Reference book is a subclass of book
(termFormat de Book "Buch")	terms-de.txt 547-547	Reference book is a subclass of book
(termFormat ro Book "carte")	relations-ro.kif 739-739	Reference book is a subclass of book
(termFormat tg Book "aklat")	terms-tg.txt 23-23	Reference book is a subclass of book

antecedent

(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers)))	Media.kif 1900-1904	If an entity publishes a class holds during a time position and the class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
(=> (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 15610-15619	If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical, then there exists a third content bearing physical such that the third content bearing physical is an instance of article and the third content bearing physical is not equal to the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical
(=> (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	If a corpuscular object is an instance of book, then there exist another corpuscular object and a third corpuscular object such that the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of printed sheet and the third corpuscular object is an instance of printed sheet and the other corpuscular object is not equal to the third corpuscular object

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	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
(=> (instance ?CHAPTER Chapter) (exists (?BOOK) (and (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?CHAPTER))))	Mid-level-ontology.kif 15626-15631	If a content bearing physical is an instance of chapter, then there exists another content bearing physical such that the other content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical
(=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B)))))	Mid-level-ontology.kif 9253-9259	If a physical is an instance of library building, then the physical has the purpose there exists an entity such that the entity is an instance of book and the physical is located at the entity
(=> (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 15578-15586	If a content bearing physical is an instance of series, then there exist another content bearing physical and a third content bearing physical such that the other content bearing physical is an instance of book and the third content bearing physical is an instance of book and the content bearing physical subsumes the content of the other content bearing physical and the content bearing physical subsumes the content of the third content bearing physical and the other content bearing physical is not equal to the third content bearing physical

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