(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS)) |
Biography.kif 730-740 |
|
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries))) |
Media.kif 1894-1898 | |
(subclass Text LinguisticExpression) | Merge.kif 15381-15381 | テキスト は 言語表現 の subclass では %n |
(subclass Text ContentBearingObject) | Merge.kif 15382-15382 | テキスト は コンテンツベアリングオブジェクト の subclass では %n |
(subclass Text Artifact) | Merge.kif 15383-15383 | テキスト は アーチファクト の subclass では %n |
(subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | JointPublication は テキスト の subclass では %n |
(subclass Doctrine Text) | MilitaryProcesses.kif 993-993 | Doctrine は テキスト の subclass では %n |
(subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | ChairmanPublication は テキスト の subclass では %n |
(subclass Lyrics Text) | Mid-level-ontology.kif 694-694 | Lyrics は テキスト の subclass では %n |
(subclass Paragraph Text) | Mid-level-ontology.kif 705-705 | Paragraph は テキスト の subclass では %n |
(subclass ChristianGospel Text) | Mid-level-ontology.kif 7869-7869 | ChristianGospel は テキスト の subclass では %n |
(subclass Prescription Text) | Mid-level-ontology.kif 9264-9264 | Prescription は テキスト の subclass では %n |
(subclass MusicText Text) | Mid-level-ontology.kif 14419-14419 | MusicText は テキスト の subclass では %n |
(subclass Label Text) | Mid-level-ontology.kif 14471-14471 | Label は テキスト の subclass では %n |
(subclass FormText Text) | Mid-level-ontology.kif 14484-14484 | FormText は テキスト の subclass では %n |
(subclass Series Text) | Mid-level-ontology.kif 14644-14644 | シリーズ は テキスト の subclass では %n |
(subclass Article Text) | Mid-level-ontology.kif 14676-14676 | 記事 は テキスト の subclass では %n |
(subclass NarrativeText Text) | Mid-level-ontology.kif 14923-14923 | NarrativeText は テキスト の subclass では %n |
(subclass MotionPicture Text) | Merge.kif 1392-1392 | 映画 は テキスト の subclass では %n |
(subclass FactualText Text) | Merge.kif 15403-15403 | FactualText は テキスト の subclass では %n |
(subclass FictionalText Text) | Merge.kif 15431-15431 | FictionalText は テキスト の subclass では %n |
(subclass Summary Text) | Merge.kif 15608-15608 | 概要 は テキスト の subclass では %n |
(subclass Certificate Text) | Merge.kif 15655-15655 | 証明書 は テキスト の subclass では %n |
(subclass TreatyDocument Text) | Geography.kif 3034-3034 | TreatyDocument は テキスト の subclass では %n |
(subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | カレンダー は テキスト の subclass では %n |
(subclass Spam Text) | ComputingBrands.kif 4222-4222 | Spam は テキスト の subclass では %n |
(subclass LiveTestUpdate Text) | ComputerInput.kif 3012-3012 | LiveTestUpdate は テキスト の subclass では %n |