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 28307-28307 | |
| (externalImage Book "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ book.png") | pictureList.kif 281-281 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Text.JPG") | pictureList.kif 2760-2760 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Latin_dictionary.jpg") | pictureList.kif 2647-2647 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/77/ Machinerysencyclopedia2.jpg") | pictureList.kif 2757-2757 | |
| (externalImage Book "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") | pictureList.kif 2759-2759 | |
| (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 2758-2758 | |
| (subclass Book Document) | Mid-level-ontology.kif 28306-28306 | 本 は Document の subclass では |
| (subclass Book HardcopyDocument) | Media.kif 1073-1073 | 本 は HardcopyDocument の subclass では |
| appearance as argument number 2 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 16049-16049 | 記事 と 本 は disjoint では |
| (subclass ChristianBible Book) | Mid-level-ontology.kif 9031-9031 | ChristianBible は 本 の subclass では |
| (subclass GuideBook Book) | Mid-level-ontology.kif 28309-28309 | GuideBook は 本 の subclass では |
| (subclass NewTestament Book) | Mid-level-ontology.kif 9046-9046 | NewTestament は 本 の subclass では |
| (subclass Novel Book) | Mid-level-ontology.kif 16319-16319 | Novel は 本 の subclass では |
| (subclass OldTestament Book) | Mid-level-ontology.kif 9042-9042 | OldTestament は 本 の subclass では |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 16286-16286 | ReferenceBook は 本 の subclass では |
| (termFormat ChineseLanguage Book "书") | chinese_format.kif 1040-1040 | ReferenceBook は 本 の subclass では |
| (termFormat EnglishLanguage Book "book") | english_format.kif 1291-1291 | ReferenceBook は 本 の subclass では |
| (termFormat FrenchLanguage Book "livre") | french_format.kif 718-718 | ReferenceBook は 本 の subclass では |
| (termFormat Hindi Book "pustaka") | terms-hindi.txt 20-20 | ReferenceBook は 本 の subclass では |
| (termFormat ItalianLanguage Book "Libro") | terms-it.txt 22-22 | ReferenceBook は 本 の subclass では |
| (termFormat JapaneseLanguage Book "本") | japanese_format.kif 2402-2402 | ReferenceBook は 本 の subclass では |
| (termFormat PortugueseLanguage Book "Livro") | portuguese_format.kif 670-670 | ReferenceBook は 本 の subclass では |
| (termFormat cb Book "basahon") | terms-cb.txt 23-23 | ReferenceBook は 本 の subclass では |
| (termFormat cz Book "book") | terms-cz.txt 288-288 | ReferenceBook は 本 の subclass では |
| (termFormat de Book "Buch") | terms-de.txt 547-547 | ReferenceBook は 本 の subclass では |
| (termFormat ro Book "carte") | relations-ro.kif 739-739 | ReferenceBook は 本 の subclass では |
| (termFormat tg Book "aklat") | terms-tg.txt 23-23 | ReferenceBook は 本 の subclass では |
| 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 16053-16062 |
|
| (=> (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 |
|
|
|
|
|