(=> (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 15359-15359 | 文本 是 语言式表达 的 subclass |
(subclass Text ContentBearingObject) | Merge.kif 15360-15360 | 文本 是 有内用物体 的 subclass |
(subclass Text Artifact) | Merge.kif 15361-15361 | 文本 是 人工制品 的 subclass |
(subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | 联合出版物 是 文本 的 subclass |
(subclass Doctrine Text) | MilitaryProcesses.kif 993-993 | 教义 是 文本 的 subclass |
(subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | 主席出版物 是 文本 的 subclass |
(subclass Lyrics Text) | Mid-level-ontology.kif 694-694 | 歌词 是 文本 的 subclass |
(subclass Paragraph Text) | Mid-level-ontology.kif 705-705 | 段 是 文本 的 subclass |
(subclass ChristianGospel Text) | Mid-level-ontology.kif 7870-7870 | 基督教福音书 是 文本 的 subclass |
(subclass Prescription Text) | Mid-level-ontology.kif 9265-9265 | Prescription 是 文本 的 subclass |
(subclass MusicText Text) | Mid-level-ontology.kif 14420-14420 | 音乐文本 是 文本 的 subclass |
(subclass Label Text) | Mid-level-ontology.kif 14472-14472 | 标签 是 文本 的 subclass |
(subclass FormText Text) | Mid-level-ontology.kif 14485-14485 | 表格文字 是 文本 的 subclass |
(subclass Series Text) | Mid-level-ontology.kif 14645-14645 | 系列 是 文本 的 subclass |
(subclass Article Text) | Mid-level-ontology.kif 14677-14677 | 文章 是 文本 的 subclass |
(subclass NarrativeText Text) | Mid-level-ontology.kif 14924-14924 | 叙述文本 是 文本 的 subclass |
(subclass MotionPicture Text) | Merge.kif 1392-1392 | 动态映像 是 文本 的 subclass |
(subclass FactualText Text) | Merge.kif 15381-15381 | 事实文本 是 文本 的 subclass |
(subclass FictionalText Text) | Merge.kif 15409-15409 | 虚构的文字 是 文本 的 subclass |
(subclass Summary Text) | Merge.kif 15586-15586 | 摘要 是 文本 的 subclass |
(subclass Certificate Text) | Merge.kif 15633-15633 | 证书 是 文本 的 subclass |
(subclass TreatyDocument Text) | Geography.kif 3034-3034 | 条约文件 是 文本 的 subclass |
(subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | 日历 是 文本 的 subclass |
(subclass Spam Text) | ComputingBrands.kif 4222-4222 | Spam 是 文本 的 subclass |
(subclass LiveTestUpdate Text) | ComputerInput.kif 3012-3012 | LiveTestUpdate 是 文本 的 subclass |