more pictures...
| Book
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Book EnglishLanguage "A Document that has pages and is bound.") | Mid-level-ontology.kif 26672-26672 | |
| (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 26671-26671 | |
| (subclass Book HardcopyDocument) | Media.kif 1073-1073 |
| appearance as argument number 2 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 14896-14896 | |
| (subclass ChristianBible Book) | Mid-level-ontology.kif 8082-8082 | |
| (subclass GuideBook Book) | Mid-level-ontology.kif 26674-26674 | |
| (subclass NewTestament Book) | Mid-level-ontology.kif 8097-8097 | |
| (subclass Novel Book) | Mid-level-ontology.kif 15164-15164 | |
| (subclass OldTestament Book) | Mid-level-ontology.kif 8093-8093 | |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 15131-15131 | |
| (termFormat ChineseLanguage Book "书") | chinese_format.kif 1040-1040 | |
| (termFormat EnglishLanguage Book "book") | english_format.kif 1291-1291 | |
| (termFormat FrenchLanguage Book "livre") | french_format.kif 718-718 | |
| (termFormat Hindi Book "pustaka") | terms-hindi.txt 20-20 | |
| (termFormat ItalianLanguage Book "Libro") | terms-it.txt 22-22 | |
| (termFormat JapaneseLanguage Book "本") | japanese_format.kif 2402-2402 | |
| (termFormat PortugueseLanguage Book "Livro") | portuguese_format.kif 670-670 | |
| (termFormat cb Book "basahon") | terms-cb.txt 23-23 | |
| (termFormat cz Book "book") | terms-cz.txt 288-288 | |
| (termFormat ro Book "carte") | relations-ro.kif 739-739 | |
| (termFormat tg Book "aklat") | terms-tg.txt 23-23 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1900-1904 | |
| (=> (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 14900-14909 | |
| (=> (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 |
| 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 | |
| (=> (instance ?CHAPTER Chapter) (exists (?BOOK) (and (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?CHAPTER)))) |
Mid-level-ontology.kif 14916-14921 | |
| (=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 8698-8704 | |
| (=> (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 14868-14876 |
|
|
|