TreeView Knowledge Base Browser - Book

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Book

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26396-26396
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 281-281
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2761-2761
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2648-2648
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2758-2758
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2760-2760
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 46-46
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2759-2759
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26395-26395	Book is a subclass of document
No TPTP formula. May not be expressible in strict first order.	Media.kif 1073-1073	Book is a subclass of hardcopy document

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14677-14677	Article is disjoint from book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7863-7863	Christian bible is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26398-26398	Guide book is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7878-7878	New testament is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	Novel is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7874-7874	Old testament is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14912-14912	Reference book is a subclass of book
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1040-1040
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1291-1291
No TPTP formula. May not be expressible in strict first order.	french_format.kif 718-718
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 20-20
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 22-22
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2402-2402
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 670-670
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 23-23
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 288-288
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 739-739
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 23-23

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14681-14690	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14697-14702	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8479-8485	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14649-14657	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 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