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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26408-26408
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 26407-26407 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 14678-14678 Article is disjoint from book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7864-7864 Christian bible is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26410-26410 Guide book is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7879-7879 New testament is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14946-14946 Novel is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7875-7875 Old testament is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14913-14913 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14682-14691
No TPTP formula. May not be expressible in strict first order. Media.kif 1075-1083

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14698-14703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8480-8486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14650-14658


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