more pictures...
| appearance as argument number 1 |
|
|
| (subclass Book HardcopyDocument) | Media.kif 1073-1073 | Book is a subclass of hardcopy document |
| (subclass Book Document) | Mid-level-ontology.kif 29056-29056 | Book is a subclass of document |
| (documentation Book EnglishLanguage "A Document that has pages and is bound.") | Mid-level-ontology.kif 29057-29057 | Book is a subclass of document |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Buchmann.jpg") | pictureList.kif 46-46 | Book is a subclass of document |
| (externalImage Book "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ book.png") | pictureList.kif 281-281 | Book is a subclass of document |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") | pictureList.kif 2647-2647 | Book is a subclass of document |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") | pictureList.kif 2757-2757 | Book is a subclass of document |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Hetzel_front_cover.jpg") | pictureList.kif 2758-2758 | Book is a subclass of document |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") | pictureList.kif 2759-2759 | Book is a subclass of document |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") | pictureList.kif 2760-2760 | Book is a subclass of document |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 | If X is an instance of book, then All of the following hold: (1) there exist Y (2) Z such that Y is a component of X (3) Z is a component of X (4) Y is an instance of printed sheet (5) Z is an instance of printed sheet (6) equal Y (7) Z |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1902-1906 | If X publishes Y holds during Z and Y is a subclass of book, then book publishers is an attribute of X holds during Z |
| (=> (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 16181-16190 | If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z |
| consequent |
|
|
| (=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 9726-9732 | If X is an instance of library building, then X has the purpose there exists Y such that Y is an instance of book and X is located at Y |
| (=> (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 16149-16157 | If X is an instance of series, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of book (3) Z is an instance of book (4) X subsumes the content of Y (5) X subsumes the content of Z (6) equal Y (7) Z |
| (=> (instance ?CHAPTER Chapter) (exists (?BOOK) (and (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?CHAPTER)))) |
Mid-level-ontology.kif 16197-16202 | If X is an instance of chapter, then there exists Y such that Y is an instance of book and Y subsumes the content of X |
| (=> (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 | If X is an instance of organization and sporting goods hobby book and music stores is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing sport as a instrument or W is capable of doing making music as a instrument or W is an instance of book or W is an instance of music recording or W is an instance of music text (7) W is a patient of Y |
|
|
|