|
|
   Book
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Book EnglishLanguage "A Document that has pages and is bound.") | Mid-level-ontology.kif 25771-25771 | |
| (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 25770-25770 | |
| (subclass Book HardcopyDocument) | Media.kif 1073-1073 |
| appearance as argument number 2 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 14142-14142 | |
| (subclass ChristianBible Book) | Mid-level-ontology.kif 7533-7533 | |
| (subclass GuideBook Book) | Mid-level-ontology.kif 25773-25773 | |
| (subclass NewTestament Book) | Mid-level-ontology.kif 7548-7548 | |
| (subclass Novel Book) | Mid-level-ontology.kif 14390-14390 | |
| (subclass OldTestament Book) | Mid-level-ontology.kif 7544-7544 | |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 14357-14357 | |
| (termFormat ChineseLanguage Book "δΉ¦") | chinese_format.kif 1040-1040 | |
| (termFormat EnglishLanguage Book "book") | english_format.kif 1291-1291 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1898-1902 | |
| (=> (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 14146-14155 | |
| (=> (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 14162-14167 | |
| (=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 8083-8089 | |
| (=> (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 14114-14122 |
|
|
|
