| appearance as argument number 1 |
|
|
| (subclass Text LinguisticExpression) | Merge.kif 15534-15534 | Text is a subclass of linguistic expression |
| (subclass Text ContentBearingObject) | Merge.kif 15535-15535 | Text is a subclass of content bearing object |
| (subclass Text Artifact) | Merge.kif 15536-15536 | Text is a subclass of artifact |
| (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 15537-15540 | Text is a subclass of artifact |
| (externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png") | pictureList.kif 3007-3007 | Text is a subclass of artifact |
| (externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png") | pictureList.kif 3228-3228 | Text is a subclass of artifact |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass editor 2 Text) | Merge.kif 15650-15650 | The number 2 argument of editor is a subclass of text |
| (domainSubclass publishes 2 Text) | Merge.kif 15659-15659 | The number 2 argument of publishes is a subclass of text |
| (domain registeredItem 1 Text) | Mid-level-ontology.kif 18147-18147 | The number 1 argument of registered item is an instance of text |
| antecedent |
|
|
| (=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression)))) |
Merge.kif 15542-15547 | If X is an instance of text, then there exists Y such that Y is a part of X and Y is an instance of linguistic expression |
| (=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 15549-15554 | If X is an instance of text, then there exists Y such that Y is an instance of writing and X is a result of Y |
| (=> (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 | If All of the following hold: (1) writer is an attribute of X (2) Y is an instance of Z (3) Z is a subclass of text or Z is a subclass of document (4) W is an instance of writing (5) X is an agent of W (6) Y is a result of W, then X is the author of Z |
| (=> (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 | If X is an instance of human, Y is an instance of writing, Z is an instance of text or Z is an instance of document, Z is a result of Y, and X is an agent of Y, then writer is an attribute of X |
| (=> (and (instance ?TXT Text) (instance ?OBJ Document) (part ?TXT ?OBJ)) (instance ?OBJ TextDocument)) |
Media.kif 938-943 | If X is an instance of text, Y is an instance of document, and X is a part of Y, then Y is an instance of text document |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries))) |
Media.kif 1896-1900 | If X publishes Y holds during Z and Y is a subclass of text, then information industry is an attribute of X holds during Z |
| consequent |
|
|
| (=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1549-1555 | If X is an instance of writing, then there exist Y, Z such that Y is an instance of text, Z is an instance of written human language, and Z is a Language of Y. |
| (=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP)))) |
Merge.kif 12865-12871 | If X is an instance of reading, then there exist Y, Z such that Y is an instance of text, Y contains information Z, and X expresses the content of Z |
| (=> (instance ?PUB Publication) (exists (?TEXT) (and (instance ?TEXT Text) (patient ?PUB ?TEXT)))) |
Merge.kif 13030-13035 | If X is an instance of publication, then there exists Y such that Y is an instance of text and Y is a patient of X |
| (=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT)))) |
Merge.kif 15762-15767 | If X is an instance of summary, then there exists Y such that Y is an instance of text and Y subsumes the content of X |
| (=> (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 675-684 | If X is an instance of written communication, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a result of X (3) Y is an instance of text (4) Z is a part of Y (5) Z is an instance of character (6) W is an instance of script (7) Z is a member of W |
| (=> (instance ?PAPER Paper) (modalAttribute (hasPurpose ?PAPER (exists (?TEXT) (and (instance ?TEXT Text) (part ?TEXT ?PAPER)))) Likely)) |
Mid-level-ontology.kif 4034-4042 | If X is an instance of paper, then the statement X has the purpose there exists Y such that Y is an instance of text and Y is a part of X has the modal force of likely |
| (=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 9713-9720 | If X is an instance of library, then there exist Y, Z such that X possesses Y, Y is an instance of library building, Z is an instance of text, and Z is located at Y |
| (=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text)))) |
Mid-level-ontology.kif 17439-17445 | If X is an instance of reciting, then there exist Y, Z such that X expresses the content of Y, Z contains information Y, and Z is an instance of text |
| (=> (and (instance ?M Memorizing) (patient ?M ?T)) (instance ?T Text)) |
Mid-level-ontology.kif 20111-20115 | If X is an instance of memorizing and Y is a patient of X, then Y is an instance of text |
| (=> (attribute ?X Writer) (exists (?OBJ ?PROC) (and (instance ?PROC Writing) (or (instance ?OBJ Text) (instance ?OBJ Document)) (agent ?PROC ?X) (result ?PROC ?OBJ)))) |
Biography.kif 725-734 | If writer is an attribute of X, then there exist Y, Z such that Z is an instance of writing, Y is an instance of text or Y is an instance of document, X is an agent of Z, and Y is a result of Z |
| (=> (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 | If X ends up at Y, X is an instance of messaging, Z is a patient of X, and Y is an instance of telex, then there exist W, V such that Y is an instrument for W, V is a result of W, V expresses Z, V is an instance of text, and the beginning of the time of existence of X happens before the beginning of the time of existence of W |
| (=> (instance ?OBJ TextDocument) (exists (?TXT) (and (instance ?TXT Text) (component ?TXT ?OBJ)))) |
Media.kif 931-936 | If X is an instance of text document, then there exists Y such that Y is an instance of text and Y is a component of X |
| statement |
|
|
| (hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3216-3222 | IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T |
|
|
|