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 |
|
|
| 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 |
|
