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, Libro, Livro, McGuffey_Eclectic_Readers, New_English_Bible, Psalter, Quran, Revised_Standard_Version, Revised_Version, Rheims-Douay_Bible, Rheims-Douay_Version, Talmud, Utopia, Vulgate, aklat, al-Qur'an, album, antiphonal, antiphonary, appointment_book, appointment_calendar, basahon, bell_book, best_seller, bestiary, bestseller, bible, bodice_ripper, book, book_of_instructions, booklet...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24022-24022
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2762-2762 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2649-2649 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2759-2759 "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2761-2761 "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. pictureList.kif 46-46 "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2760-2760 "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. pictureList.kif 281-281 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png" is a URL depicting book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24021-24021 Book is a subclass of Document
No TPTP formula. May not be expressible in strict first order. Media.kif 1077-1077 Book is a subclass of HardcopyDocument

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12162-12162 Article is disjoint from book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7560-7560 Christian bible is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24024-24024 Guide book is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7575-7575 New testament is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12389-12389 Novel is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7571-7571 Old testament is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12356-12356 Reference book is a subclass of book
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1040-1040 "δΉ¦" is the printable form of book in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 727-727 "book" is the printable form of book in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 718-718 "livre" is the printable form of book in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 20-20 "pustaka" is the printable form of book in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 20-20 "Libro" is the printable form of book in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 670-670 "Livro" is the printable form of book in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 23-23 "basahon" is the printable form of book in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 288-288 "book" is the printable form of book in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 23-23 "aklat" is the printable form of book in tg

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12166-12175
No TPTP formula. May not be expressible in strict first order. Media.kif 1079-1087

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7607-7625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12182-12187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8190-8196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12134-12142


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