Text(テキスト) |
appearance as argument number 1 |
(documentation Text ChineseLanguage "这是一种在 Communication 上表达一个特定功能的 LinguisticExpression 或一组 LinguisticExpression。例如:由 Human 所书写的 CorpuscularObject,它是为了表达一个特定主题的话语。") | chinese_format.kif 3550-3552 | |
(documentation Text EnglishLanguage "A LinguisticExpression or set of LinguisticExpressions that perform a specific function related to Communication, e.g. express a discourse about a particular topic, and that are inscribed in a CorpuscularObject by Humans.") | Merge.kif 15362-15365 | |
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png") | pictureList.kif 3008-3008 | |
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png") | pictureList.kif 3229-3229 | |
(subclass Text Artifact) | Merge.kif 15361-15361 | テキスト は アーチファクト の subclass では %n |
(subclass Text ContentBearingObject) | Merge.kif 15360-15360 | テキスト は コンテンツベアリングオブジェクト の subclass では %n |
(subclass Text LinguisticExpression) | Merge.kif 15359-15359 | テキスト は 言語表現 の subclass では %n |
appearance as argument number 2 |
(rangeSubclass DocumentFn Text) | Geography.kif 3013-3013 | DocumentFn が返す値は テキスト の subclasses では %n |
(rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 14619-14619 | SeriesVolumeFn が返す値は テキスト の subclasses では %n |
(subclass Article Text) | Mid-level-ontology.kif 14677-14677 | 記事 は テキスト の subclass では %n |
(subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | カレンダー は テキスト の subclass では %n |
(subclass Certificate Text) | Merge.kif 15633-15633 | 証明書 は テキスト の subclass では %n |
(subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | ChairmanPublication は テキスト の subclass では %n |
(subclass ChristianGospel Text) | Mid-level-ontology.kif 7870-7870 | ChristianGospel は テキスト の subclass では %n |
(subclass Doctrine Text) | MilitaryProcesses.kif 993-993 | Doctrine は テキスト の subclass では %n |
(subclass FactualText Text) | Merge.kif 15381-15381 | FactualText は テキスト の subclass では %n |
(subclass FictionalText Text) | Merge.kif 15409-15409 | FictionalText は テキスト の subclass では %n |
(subclass FormText Text) | Mid-level-ontology.kif 14485-14485 | FormText は テキスト の subclass では %n |
(subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | JointPublication は テキスト の subclass では %n |
(subclass Label Text) | Mid-level-ontology.kif 14472-14472 | Label は テキスト の subclass では %n |
(subclass LiveTestUpdate Text) | ComputerInput.kif 3012-3012 | LiveTestUpdate は テキスト の subclass では %n |
(subclass Lyrics Text) | Mid-level-ontology.kif 694-694 | Lyrics は テキスト の subclass では %n |
(subclass MotionPicture Text) | Merge.kif 1392-1392 | 映画 は テキスト の subclass では %n |
(subclass MusicText Text) | Mid-level-ontology.kif 14420-14420 | MusicText は テキスト の subclass では %n |
(subclass NarrativeText Text) | Mid-level-ontology.kif 14924-14924 | NarrativeText は テキスト の subclass では %n |
(subclass Paragraph Text) | Mid-level-ontology.kif 705-705 | Paragraph は テキスト の subclass では %n |
(subclass Prescription Text) | Mid-level-ontology.kif 9265-9265 | Prescription は テキスト の subclass では %n |
(subclass Series Text) | Mid-level-ontology.kif 14645-14645 | シリーズ は テキスト の subclass では %n |
(subclass Spam Text) | ComputingBrands.kif 4222-4222 | Spam は テキスト の subclass では %n |
(subclass Summary Text) | Merge.kif 15586-15586 | 概要 は テキスト の subclass では %n |
(subclass TreatyDocument Text) | Geography.kif 3034-3034 | TreatyDocument は テキスト の subclass では %n |
(termFormat ChineseLanguage Text "文本") | chinese_format.kif 1038-1038 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain registeredItem 1 Text) | Mid-level-ontology.kif 16607-16607 | registeredItem の数値 1 引数は テキスト の instance では %n |
(domainSubclass editor 2 Text) | Merge.kif 15477-15477 | editor の数値 2 引数は テキスト のsubclass では %n |
(domainSubclass publishes 2 Text) | Merge.kif 15487-15487 | publishes の数値 2 引数は テキスト のsubclass では %n |
antecedent |
(=> (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 | |
(=> (and (instance ?PERSON Human) (instance ?WRITE Writing) (or (instance ?TEXT Text) (instance ?TEXT Document)) (result ?WRITE ?TEXT) (agent ?WRITE ?PERSON)) (attribute ?PERSON Writer)) |
Biography.kif 742-751 | |
(=> (and (instance ?TXT Text) (instance ?OBJ Document) (part ?TXT ?OBJ)) (instance ?OBJ TextDocument)) |
Media.kif 938-943 | |
(=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression)))) |
Merge.kif 15367-15372 | |
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 15374-15379 |
consequent |
statement |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore は ?D ?D は DownloadingOverNetwork の instance では %n iBookstore は ?D の instrument では %n ?T は テキスト の instance では %n objectTransferred ?D and ?T の 目的 %n{ない} |