(=>
(subsumesContentClass ?CLASS1 ?CLASS2)
(forall (?OBJ2 ?INFO)
(=>
(and
(instance ?OBJ2 ?CLASS2)
(containsInformation ?OBJ2 ?INFO))
(exists (?OBJ1)
(and
(instance ?OBJ1 ?CLASS1)
(containsInformation ?OBJ1 ?INFO)))))) |
Merge.kif 4649-4659 |
If X subsumes the content of Y, then For all ContentBearingPhysical Z and Proposition W: if Z contains information W, then there exists V such that V is an instance of X and V contains information W |
(=>
(and
(subsumesContentInstance ?OBJ1 ?OBJ2)
(containsInformation ?OBJ2 ?INFO))
(containsInformation ?OBJ1 ?INFO)) |
Merge.kif 4703-4707 |
If X subsumes the content of Y and Y contains information Z, then X contains information Z |
(=>
(realization ?PROCESS ?PROP)
(exists (?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP)))) |
Merge.kif 4722-4727 |
If X expresses the content of Y, then there exists Z such that Z is an instance of content bearing object and Z contains information Y |
(=>
(subProposition ?PROP1 ?PROP2)
(forall (?OBJ1 ?OBJ2)
(=>
(and
(containsInformation ?OBJ1 ?PROP1)
(containsInformation ?OBJ2 ?PROP2))
(subsumesContentInstance ?OBJ2 ?OBJ1)))) |
Merge.kif 4758-4765 |
If X is a sub-proposition of Y, then For all ContentBearingPhysicals Z and W: if Z contains information X and W contains information Y, then W subsumes the content of Z |
(=>
(and
(instance ?EVENT Planning)
(result ?EVENT ?CBO)
(instance ?CBO ContentBearingObject))
(exists (?PLAN)
(and
(instance ?PLAN Plan)
(containsInformation ?CBO ?PLAN)))) |
Merge.kif 11087-11095 |
If X is an instance of planning, Y is a result of X, and Y is an instance of content bearing object, then there exists Z such that Z is an instance of plan and Y contains information Z |
(=>
(and
(instance ?INTERPRET Interpreting)
(agent ?INTERPRET ?AGENT)
(patient ?INTERPRET ?CONTENT)
(instance ?CONTENT ContentBearingObject))
(exists (?PROP)
(holdsDuring
(EndFn
(WhenFn ?INTERPRET))
(believes ?AGENT
(containsInformation ?CONTENT ?PROP))))) |
Merge.kif 11110-11122 |
If X is an instance of interpreting, Y is an agent of X, Z is a patient of X, and Z is an instance of content bearing object, then there exists W such that Y believes Z contains information W holds during the end of the time of existence of X |
(=>
(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 |
(=>
(and
(instance ?DECODE Decoding)
(patient ?DECODE ?DOC1))
(exists (?ENCODE ?DOC2 ?TIME ?PROP)
(and
(containsInformation ?DOC2 ?PROP)
(containsInformation ?DOC1 ?PROP)
(temporalPart ?TIME
(PastFn
(WhenFn ?DECODE)))
(holdsDuring ?TIME
(and
(instance ?ENCODE Encoding)
(patient ?ENCODE ?DOC2)))))) |
Merge.kif 13005-13018 |
If X is an instance of decoding and Y is a patient of X, then there exist Z, W,, , V, U such that W contains information U, Y contains information U, V is a part of before the time of existence of X, Z is an instance of encoding, and W is a patient of Z holds during V |
(=>
(instance ?SENT Sentence)
(exists (?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?SENT ?PROP)))) |
Merge.kif 15734-15739 |
If X is an instance of sentence, then there exists Y such that Y is an instance of proposition and X contains information Y |
(=>
(instance ?ARGUE Arguing)
(exists (?STATEMENT ?ARGUMENT)
(and
(patient ?ARGUE ?STATEMENT)
(instance ?STATEMENT Statement)
(containsInformation ?STATEMENT ?ARGUMENT)
(instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 899-906 |
If X is an instance of arguing, then there exist Y, Z such that Y is a patient of X, Y is an instance of statement, Y contains information Z, and Z is an instance of argument |
(=>
(and
(instance ?H Hallucination)
(experiencer ?H ?P))
(exists (?PER ?PROP)
(and
(instance ?PER Perception)
(experiencer ?PER ?P)
(causes ?H ?PER)
(containsInformation ?PER ?PROP)
(truth ?PROP False)))) |
Mid-level-ontology.kif 7517-7527 |
If X is an instance of hallucination and Y experiences X, then there exist Z, W such that Z is an instance of perception, Y experiences Z, X causes Z, Z contains information W, and W is false |
(=>
(instance ?L LyricalContent)
(exists (?W ?I)
(and
(instance ?W Word)
(containsInformation ?W ?I)
(subProposition ?I ?L)))) |
Mid-level-ontology.kif 15397-15403 |
If X is an instance of lyrical content, then there exist Y, Z such that Y is an instance of word, Y contains information Z, and Z is a sub-proposition of X |
(=>
(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
(and
(exists (?CLAUSE)
(containsInformation ?CLAUSE ?PROP))
(partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 15673-15678 |
If X has the responsibility to make Y Z in W, then there exists V such that V contains information Y and W is a party to agreement of X |
(=>
(instance ?RECORD AudioRecording)
(exists (?INFO ?SOUND)
(and
(containsInformation ?RECORD ?INFO)
(realization ?SOUND ?INFO)
(instance ?SOUND RadiatingSound)))) |
Mid-level-ontology.kif 15918-15924 |
If X is an instance of audio recording, then there exist Y, Z such that X contains information Y, Z expresses the content of Y, and Z is an instance of radiating sound |
(=>
(instance ?SM SheetMusic)
(exists (?MC)
(and
(instance ?MC MusicalComposition)
(containsInformation ?SM ?MC)))) |
Mid-level-ontology.kif 16018-16023 |
If X is an instance of sheet music, then there exists Y such that Y is an instance of musical composition and X contains information Y |
(=>
(instance ?PROG PerformanceProgram)
(exists (?PERF ?PROP)
(and
(containsInformation ?PROG ?PROP)
(realization ?PERF ?PROP)
(instance ?PERF Performance)))) |
Mid-level-ontology.kif 16144-16150 |
If X is an instance of performance program, then there exist Y, Z such that X contains information Z, Y expresses the content of Z, and Y is an instance of performance |
(=>
(instance ?PLAY DramaticPlay)
(hasPurpose ?PLAY
(exists (?ACT ?PROP)
(and
(instance ?ACT DramaticActing)
(containsInformation ?PLAY ?PROP)
(realization ?ACT ?PROP))))) |
Mid-level-ontology.kif 16557-16564 |
If X is an instance of dramatic play, then X has the purpose there exist Y, Z such that Y is an instance of dramatic acting, X contains information Z, and Y expresses the content of Z |
(=>
(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 ?CAST DramaticCast)
(member ?MEMBER ?CAST))
(exists (?TEXT ?PROP ?PROC ?SUB)
(and
(instance ?TEXT FictionalText)
(containsInformation ?TEXT ?PROP)
(realization ?PROC ?PROP)
(instance ?SUB DramaticActing)
(agent ?SUB ?MEMBER)
(subProcess ?SUB ?PROC)))) |
Mid-level-ontology.kif 17578-17589 |
If X is an instance of dramatic cast and Y is a member of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of fictional text (3) Z contains information W (4) V expresses the content of W (5) U is an instance of dramatic acting (6) Y is an agent of U (7) U is a subprocess of V |
(=>
(and
(instance ?X Photocopier)
(instrument ?COPY ?X)
(instance ?COPY Photocopying)
(patient ?COPY ?OBJ1)
(instance ?OBJ1 TwoDimensionalObject)
(instance ?OBJ1 VisualContentBearingObject)
(containsInformation ?OBJ1 ?INFO))
(exists (?OBJ2 ?SHEET)
(and
(result ?COPY ?OBJ2)
(instance ?OBJ2 TwoDimensionalObject)
(instance ?OBJ2 VisualContentBearingObject)
(containsInformation ?OBJ2 ?INFO)
(located ?OBJ2 ?SHEET)
(instance ?SHEET PrintedSheet)))) |
Mid-level-ontology.kif 28856-28872 |
If All of the following hold: (1) X is an instance of photocopier (2) X is an instrument for Y (3) Y is an instance of photocopying (4) Z is a patient of Y (5) Z is an instance of two dimensional object (6) Z is an instance of visual content bearing object (7) Z contains information W, then All of the following hold: (1) there exist V (2) U such that V is a result of Y (3) V is an instance of two dimensional object (4) V is an instance of visual content bearing object (5) V contains information W (6) V is located at U (7) U is an instance of printed sheet |
(<=>
(and
(instance ?COPY Photocopying)
(patient ?COPY ?OBJ1)
(instance ?OBJ1 VisualContentBearingObject)
(containsInformation ?OBJ1 ?INFO1))
(exists (?OBJ2 ?INFO2)
(and
(result ?COPY ?OBJ2)
(instance ?OBJ2 VisualContentBearingObject)
(containsInformation ?OBJ2 ?INFO2)
(equal ?INFO1 ?INFO2)))) |
Mid-level-ontology.kif 28886-28897 |
All of the following hold: (1) X is an instance of photocopying (2) Y is a patient of X (3) Y is an instance of visual content bearing object (4) Y contains information Z if (5) only if there exist W (6) V such that W is a result of X (7) W is an instance of visual content bearing object (8) W contains information V (9) equal Z (10) V |
(=>
(and
(instance ?C Confirming)
(agent ?C ?A)
(containsInformation ?C ?P))
(exists (?S ?RA ?A2)
(and
(instance ?S Stating)
(earlier ?S ?C)
(instance ?RA ReachingAgreement)
(agent ?S ?A2)
(containsInformation ?RA ?P)
(containsInformation ?S ?P)
(partyToAgreement ?RA ?A)
(partyToAgreement ?RA ?A2)))) |
Mid-level-ontology.kif 32246-32260 |
If X is an instance of confirming, Y is an agent of X, and X contains information Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of stating (3) W happens earlier than X (4) V is an instance of reaching agreement (5) U is an agent of W (6) V contains information Z (7) W contains information Z (8) Y is a party to agreement of V (9) U is a party to agreement of V |
(=>
(instance ?E Elaborating)
(exists (?L ?EP ?LP)
(and
(instance ?L LinguisticCommunication)
(earlier ?L ?E)
(containsInformation ?E ?EP)
(containsInformation ?L ?LP)
(subsumesContentInstance ?EP ?LP)))) |
Mid-level-ontology.kif 32266-32274 |
If X is an instance of elaborating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information Z, Y contains information W, and Z subsumes the content of W |
(=>
(instance ?R Restating)
(exists (?L ?LP ?RP)
(and
(instance ?L LinguisticCommunication)
(earlier ?L ?R)
(containsInformation ?R ?RP)
(containsInformation ?L ?LP)
(equivalentContentInstance ?RP ?LP)))) |
Mid-level-ontology.kif 32283-32291 |
If X is an instance of restating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information W, Y contains information Z, and W is equivalent to Z |
(=>
(instance ?C Crossposting)
(exists (?I ?P1 ?P2 ?D1 ?D2)
(and
(instance ?P1 Posting)
(instance ?P2 Posting)
(containsInformation ?P1 ?I)
(containsInformation ?P1 ?I)
(destination ?P1 ?D1)
(destination ?P2 ?D2)
(not
(equal ?P1 ?P2))
(not
(equal ?D1 ?D2))
(subProcess ?P1 ?C)
(subProcess ?P2 ?C)))) |
ComputingBrands.kif 4554-4569 |
If X is an instance of crossposting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Z is an instance of Posting (3) W is an instance of Posting (4) Z contains information Y (5) Z contains information Y (6) Z ends up at V (7) W ends up at U (8) equal Z (9) W (10) equal V (11) U (12) Z is a subprocess of X (13) W is a subprocess of X |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
