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 24528-24528 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") | pictureList.kif 2762-2762 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") | pictureList.kif 2649-2649 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") | pictureList.kif 2759-2759 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") | pictureList.kif 2761-2761 | |
| (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 2760-2760 | |
| (externalImage Book "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ book.png") | pictureList.kif 281-281 | |
| (subclass Book Document) | Mid-level-ontology.kif 24527-24527 | |
| (subclass Book HardcopyDocument) | Media.kif 1077-1077 |
| appearance as argument number 2 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 12474-12474 | |
| (subclass ChristianBible Book) | Mid-level-ontology.kif 7572-7572 | |
| (subclass GuideBook Book) | Mid-level-ontology.kif 24530-24530 | |
| (subclass NewTestament Book) | Mid-level-ontology.kif 7587-7587 | |
| (subclass Novel Book) | Mid-level-ontology.kif 12701-12701 | |
| (subclass OldTestament Book) | Mid-level-ontology.kif 7583-7583 | |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 12668-12668 | |
| (termFormat ChineseLanguage Book "δΉ¦") | chinese_format.kif 1040-1040 | |
| (termFormat EnglishLanguage Book "book") | english_format.kif 1296-1296 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1902-1906 | |
| (=> (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 12478-12487 | |
| (=> (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 1079-1087 |
| 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 7607-7625 | |
| (=> (instance ?CHAPTER Chapter) (exists (?BOOK) (and (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?CHAPTER)))) |
Mid-level-ontology.kif 12494-12499 | |
| (=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 8211-8217 | |
| (=> (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 12446-12454 |
|
|
|