| 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 14240-14243 | |
| (externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png") | pictureList.kif 3009-3009 | |
| (externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png") | pictureList.kif 3230-3230 | |
| (subclass Text Artifact) | Merge.kif 14239-14239 | |
| (subclass Text ContentBearingObject) | Merge.kif 14238-14238 | |
| (subclass Text LinguisticExpression) | Merge.kif 14237-14237 |
| appearance as argument number 2 |
|
|
| (rangeSubclass DocumentFn Text) | Geography.kif 2872-2872 | |
| (rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 12390-12390 | |
| (subclass Article Text) | Mid-level-ontology.kif 12448-12448 | |
| (subclass CalendarText Text) | ComputingBrands.kif 2265-2265 | |
| (subclass Certificate Text) | Merge.kif 14511-14511 | |
| (subclass ChairmanPublication Text) | MilitaryProcesses.kif 1024-1024 | |
| (subclass ChristianGospel Text) | Mid-level-ontology.kif 7553-7553 | |
| (subclass Doctrine Text) | MilitaryProcesses.kif 992-992 | |
| (subclass FactualText Text) | Merge.kif 14259-14259 | |
| (subclass FictionalText Text) | Merge.kif 14287-14287 | |
| (subclass FormText Text) | Mid-level-ontology.kif 12221-12221 | |
| (subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | |
| (subclass Label Text) | Mid-level-ontology.kif 12208-12208 | |
| (subclass LiveTestUpdate Text) | ComputerInput.kif 2976-2976 | |
| (subclass Lyrics Text) | Mid-level-ontology.kif 851-851 | |
| (subclass MotionPicture Text) | Merge.kif 1277-1277 | |
| (subclass MusicText Text) | Mid-level-ontology.kif 12070-12070 | |
| (subclass NarrativeText Text) | Mid-level-ontology.kif 12654-12654 | |
| (subclass Paragraph Text) | Mid-level-ontology.kif 862-862 | |
| (subclass Series Text) | Mid-level-ontology.kif 12416-12416 | |
| (subclass Spam Text) | ComputingBrands.kif 4142-4142 | |
| (subclass Summary Text) | Merge.kif 14464-14464 | |
| (subclass TreatyDocument Text) | Geography.kif 2893-2893 | |
| (termFormat ChineseLanguage Text "文本") | chinese_format.kif 1038-1038 | |
| (termFormat EnglishLanguage Text "text") | english_format.kif 1292-1292 | |
| 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 14235-14235 | |
| (domainSubclass editor 2 Text) | Merge.kif 14355-14355 | |
| (domainSubclass publishes 2 Text) | Merge.kif 14365-14365 |
| antecedent |
|
|
| (=> (and (attribute ?X Writer) (or (instance ?TEXT Text) (instance ?TEXT Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?TEXT)) |
Biography.kif 492-501 | |
| (=> (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 503-512 | |
| (=> (and (instance ?PROP Proposition) (instance (DocumentFn ?PROP) Text)) (exists (?DOC) (containsInformation ?DOC ?PROP))) |
Geography.kif 2877-2882 | |
| (=> (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 14245-14250 | |
| (=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 14252-14257 |
| consequent |
|
|
| (=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC)))))) |
Communications.kif 202-214 | |
| (=> (and (instance ?M Memorizing) (patient ?M ?T)) (instance ?T Text)) |
Mid-level-ontology.kif 15944-15948 | |
| (=> (and (instance ?PUB Publication) (patient ?PUB ?TEXT)) (subclass ?TEXT Text)) |
Merge.kif 11941-11945 | |
| (=> (attribute ?X Writer) (exists (?OBJ) (and (instance ?PROC Writing) (or (instance ?OBJ Text) (instance ?OBJ Document)) (agent ?PROC ?X) (result ?PROC ?OBJ)))) |
Biography.kif 481-490 | |
| (=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 8173-8180 | |
| (=> (instance ?OBJ TextDocument) (exists (?TXT) (and (instance ?TXT Text) (component ?TXT ?OBJ)))) |
Media.kif 931-936 | |
| (=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text)))) |
Mid-level-ontology.kif 13604-13610 | |
| (=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP)))) |
Merge.kif 11794-11800 | |
| (=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT)))) |
Merge.kif 14468-14473 | |
| (=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1399-1405 | |
| (=> (instance ?W WrittenCommunication) (exists (?T ?C ?S) (and (result ?W ?T) (instance ?T Text) (part ?C ?T) (instance ?C Character) (instance ?S Script) (member ?C ?S)))) |
Mid-level-ontology.kif 836-845 |
| statement |
|
|
| (hasPurpose IBookstore (exists (?D) (and (instance ?D Downloading) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3295-3301 |
|
|
|