Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Book HardcopyDocument) | Mid-level-ontology.kif 29004-29004 | Book is a subclass of hardcopy document |
| (subclass Book Document) | Mid-level-ontology.kif 29005-29005 | Book is a subclass of document |
| (documentation Book EnglishLanguage "A Document that has pages and is bound.") | Mid-level-ontology.kif 29006-29006 | 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 |
|
|
| (subclass ChristianBible Book) | Mid-level-ontology.kif 9185-9185 | Christian bible is a subclass of book |
| (subclass OldTestament Book) | Mid-level-ontology.kif 9196-9196 | Old testament is a subclass of book |
| (subclass NewTestament Book) | Mid-level-ontology.kif 9200-9200 | New testament is a subclass of book |
| (disjoint Article Book) | Mid-level-ontology.kif 16283-16283 | Article is disjoint from book |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 16521-16521 | Reference book is a subclass of book |
| (subclass Novel Book) | Mid-level-ontology.kif 16549-16549 | Novel is a subclass of book |
| (subclass GuideBook Book) | Mid-level-ontology.kif 29008-29008 | Guide book is a subclass of book |
| (termFormat EnglishLanguage Book "book") | english_format.kif 1295-1295 | Guide book is a subclass of book |
| antecedent |
|
|
| (=> (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 16287-16296 | 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 |
| (=> (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 1020-1028 | 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 1847-1851 | 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 |
| consequent |
|
|
| (=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 9840-9846 | 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 16255-16263 | 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 16303-16308 | 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 7597-7615 | 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 |
|
