Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Text LinguisticExpression) | Merge.kif 15651-15651 | Text is a subclass of linguistic expression |
| (subclass Text ContentBearingObject) | Merge.kif 15652-15652 | Text is a subclass of content bearing object |
| (subclass Text Artifact) | Merge.kif 15653-15653 | 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 15654-15657 | 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 |
|
|
| (subclass MotionPicture Text) | Merge.kif 1481-1481 | Motion picture is a subclass of text |
| (subclass FactualText Text) | Merge.kif 15673-15673 | Factual text is a subclass of text |
| (subclass FictionalText Text) | Merge.kif 15690-15690 | Fictional text is a subclass of text |
| (subclass NarrativeText Text) | Merge.kif 15692-15692 | Narrative text is a subclass of text |
| (subclass Summary Text) | Merge.kif 15870-15870 | Summary is a subclass of text |
| (subclass Certificate Text) | Merge.kif 15917-15917 | Certificate is a subclass of text |
| (subclass Lyrics Text) | Mid-level-ontology.kif 677-677 | Lyrics is a subclass of text |
| (subclass Paragraph Text) | Mid-level-ontology.kif 688-688 | Paragraph is a subclass of text |
| (subclass ChristianGospel Text) | Mid-level-ontology.kif 9191-9191 | Christian gospel is a subclass of text |
| (subclass Prescription Text) | Mid-level-ontology.kif 10770-10770 | Prescription is a subclass of text |
| (subclass MusicText Text) | Mid-level-ontology.kif 16025-16025 | Music text is a subclass of text |
| (subclass Label Text) | Mid-level-ontology.kif 16077-16077 | Label is a subclass of text |
| (subclass FormText Text) | Mid-level-ontology.kif 16090-16090 | Form text is a subclass of text |
| (rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 16224-16224 | The values returned by series volume are subclasses of text |
| (subclass Series Text) | Mid-level-ontology.kif 16250-16250 | Series is a subclass of text |
| (subclass Article Text) | Mid-level-ontology.kif 16282-16282 | Article is a subclass of text |
| (subclass LiveTestUpdate Text) | ComputerInput.kif 3031-3031 | LTU is a subclass of text |
| (subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | Calendar is a subclass of text |
| (subclass Spam Text) | ComputingBrands.kif 4128-4128 | Spam is a subclass of text |
| (subclass NewsFeed Text) | Facebook.kif 424-424 | News feed is a subclass of text |
| (subclass TopNewsFeed Text) | Facebook.kif 434-434 | Top news feed is a subclass of text |
| (subclass MostRecentFeed Text) | Facebook.kif 450-450 | Most recent feed is a subclass of text |
| (rangeSubclass DocumentFn Text) | Geography.kif 4445-4445 | The values returned by document are subclasses of text |
| (subclass TreatyDocument Text) | Geography.kif 4466-4466 | Treaty document is a subclass of text |
| (subclass JointPublication Text) | MilitaryProcesses.kif 943-943 | Joint publication is a subclass of text |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domainSubclass editor 2 Text) | Merge.kif 15762-15762 | The number 2 argument of editor is a subclass of text |
| (domainSubclass publishes 2 Text) | Merge.kif 15771-15771 | The number 2 argument of publishes is a subclass of text |
| (domain registeredItem 1 Text) | Mid-level-ontology.kif 18221-18221 | 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 15659-15664 | 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 15666-15671 | 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 733-743 | 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 745-754 | 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 929-934 | 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 1841-1845 | 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 1603-1609 | 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 12979-12985 | 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 13144-13149 | 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 15874-15879 | 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 662-671 | 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 4220-4228 | 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 9827-9834 | 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 17532-17538 | 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 20156-20160 | 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 720-729 | 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 183-195 | 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 922-927 | 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 |
|
