| 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 15515-15518 | |
| (externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png") | pictureList.kif 3007-3007 | |
| (externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png") | pictureList.kif 3228-3228 | |
| (subclass Text Artifact) | Merge.kif 15514-15514 | テキスト は アーチファクト の subclass では |
| (subclass Text ContentBearingObject) | Merge.kif 15513-15513 | テキスト は コンテンツベアリングオブジェクト の subclass では |
| (subclass Text LinguisticExpression) | Merge.kif 15512-15512 | テキスト は 言語表現 の subclass では |
| appearance as argument number 2 |
|
|
| (rangeSubclass DocumentFn Text) | Geography.kif 3171-3171 | DocumentFn が返す値は テキスト の subclasses では |
| (rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 15990-15990 | SeriesVolumeFn が返す値は テキスト の subclasses では |
| (subclass Article Text) | Mid-level-ontology.kif 16048-16048 | 記事 は テキスト の subclass では |
| (subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | カレンダー は テキスト の subclass では |
| (subclass Certificate Text) | Merge.kif 15783-15783 | 証明書 は テキスト の subclass では |
| (subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | ChairmanPublication は テキスト の subclass では |
| (subclass ChristianGospel Text) | Mid-level-ontology.kif 9037-9037 | ChristianGospel は テキスト の subclass では |
| (subclass Doctrine Text) | MilitaryProcesses.kif 993-993 | Doctrine は テキスト の subclass では |
| (subclass FactualText Text) | Merge.kif 15534-15534 | FactualText は テキスト の subclass では |
| (subclass FictionalText Text) | Merge.kif 15562-15562 | FictionalText は テキスト の subclass では |
| (subclass FormText Text) | Mid-level-ontology.kif 15856-15856 | FormText は テキスト の subclass では |
| (subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | JointPublication は テキスト の subclass では |
| (subclass Label Text) | Mid-level-ontology.kif 15843-15843 | Label は テキスト の subclass では |
| (subclass LiveTestUpdate Text) | ComputerInput.kif 3015-3015 | LiveTestUpdate は テキスト の subclass では |
| (subclass Lyrics Text) | Mid-level-ontology.kif 687-687 | Lyrics は テキスト の subclass では |
| (subclass MotionPicture Text) | Merge.kif 1402-1402 | 映画 は テキスト の subclass では |
| (subclass MusicText Text) | Mid-level-ontology.kif 15791-15791 | MusicText は テキスト の subclass では |
| (subclass NarrativeText Text) | Mid-level-ontology.kif 16297-16297 | NarrativeText は テキスト の subclass では |
| (subclass Paragraph Text) | Mid-level-ontology.kif 698-698 | Paragraph は テキスト の subclass では |
| (subclass Prescription Text) | Mid-level-ontology.kif 10594-10594 | Prescription は テキスト の subclass では |
| (subclass Series Text) | Mid-level-ontology.kif 16016-16016 | シリーズ は テキスト の subclass では |
| (subclass Spam Text) | ComputingBrands.kif 4217-4217 | Spam は テキスト の subclass では |
| (subclass Summary Text) | Merge.kif 15736-15736 | 概要 は テキスト の subclass では |
| (subclass TreatyDocument Text) | Geography.kif 3192-3192 | TreatyDocument は テキスト の subclass では |
| (termFormat ChineseLanguage Text "文本") | chinese_format.kif 1038-1038 | TreatyDocument は テキスト の subclass では |
| 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 17994-17994 | registeredItem の数値 1 引数は テキスト の instance では |
| (domainSubclass editor 2 Text) | Merge.kif 15628-15628 | editor の数値 2 引数は テキスト のsubclass では |
| (domainSubclass publishes 2 Text) | Merge.kif 15637-15637 | publishes の数値 2 引数は テキスト のsubclass では |
| 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 738-748 |
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries))) |
Media.kif 1896-1900 | |
| (=> (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 750-759 | |
| (=> (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 15520-15525 | |
| (=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 15527-15532 |
| consequent |
|
|
| statement |
|
|
| (hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3305-3311 | IBookstore は ?D ?D は DownloadingOverNetwork の instance では iBookstore は ?D の instrument では ?T は テキスト の instance では objectTransferred ?D and ?T の 目的 |
|
|
|