(=>
(instance ?BRD BusinessRequirementDocument)
(exists (?PLAN ?BU ?PROC)
(and
(instance ?PLAN Plan)
(instance ?BU Business)
(instance ?PROC Process)
(represents ?PLAN ?PROC)
(desires ?BU ?PROC)
(containsInformation ?BRD ?PLAN)))) |
UXExperimentalTerms.kif 2596-2605 |
|
(=>
(instance ?C Correcting)
(exists (?D ?S ?SP ?CP)
(and
(instance ?D Disagreeing)
(subProcess ?C ?D)
(instance ?S Stating)
(subProcess ?S ?D)
(containsInformation ?S ?SP)
(containsInformation ?C ?CP)
(refers ?CP ?SP)
(not
(consistent ?CP ?SP))))) |
Mid-level-ontology.kif 29679-29691 |
|
(=>
(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 4643-4658 |
|
(=>
(instance ?CAST DramaticCast)
(exists (?TEXT ?PROP ?PROC)
(and
(instance ?TEXT FictionalText)
(containsInformation ?TEXT ?PROP)
(realization ?PROC ?PROP)
(forall (?MEMBER)
(=>
(member ?MEMBER ?CAST)
(exists (?SUB)
(and
(instance ?SUB DramaticActing)
(agent ?SUB ?MEMBER)
(subProcess ?SUB ?PROC)))))))) |
Mid-level-ontology.kif 15966-15980 |
|
(=>
(instance ?CONPLANwithTPFDD CONPLANwithTPFDD)
(exists (?CBO)
(and
(instance ?CBO TPFDDFile)
(containsInformation ?CBO ?CONPLANwithTPFDD)))) |
MilitaryProcesses.kif 1623-1628 |
|
(=>
(instance ?CONST Constitution)
(exists (?FORMULA ?PART)
(and
(instance ?FORMULA Formula)
(containsInformation ?FORMULA ?PART)
(instance ?PART Proposition)
(subProposition ?PART ?CONST)
(modalAttribute ?FORMULA Obligation)))) |
Government.kif 653-661 |
|
(=>
(instance ?CONST Constitution)
(exists (?FORMULA ?PART)
(and
(instance ?FORMULA Formula)
(containsInformation ?FORMULA ?PART)
(instance ?PART Proposition)
(subProposition ?PART ?CONST)
(modalAttribute ?FORMULA Permission)))) |
Government.kif 663-671 |
|
(=>
(instance ?DIS Disagreeing)
(exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)
(and
(subProcess ?STATE1 ?DIS)
(subProcess ?STATE2 ?DIS)
(agent ?STATE1 ?A1)
(agent ?STATE2 ?A2)
(not
(equal ?A1 ?A2))
(containsInformation ?STATE1 ?STMT1)
(containsInformation ?STATE2 ?STMT2)
(not
(consistent ?STMT1 ?STMT2))))) |
Merge.kif 13179-13192 |
- If a process is an instance of disagreeing,
- then there exist an agent, another agent,, , another process,, , a third process,, , a proposition and another proposition such that the other process is a subprocess of the process and the third process is a subprocess of the process and the agent is an agent of the other process and the other agent is an agent of the third process and the agent is not equal to the other agent and the other process contains information the proposition and the third process contains information the other proposition and the other proposition is not a consistent of the proposition
|
(=>
(instance ?DOC ConstitutionDocument)
(exists (?CONST)
(and
(instance ?CONST Constitution)
(containsInformation ?DOC ?CONST)))) |
Government.kif 688-693 |
|
(=>
(instance ?DOC ContractDocument)
(exists (?PROP)
(and
(containsInformation ?DOC ?PROP)
(property ?PROP Contract)))) |
Media.kif 979-984 |
|
(=>
(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 29647-29655 |
|
(=>
(instance ?FILE SoftwareFile)
(exists (?PROGRAM ?SUBPROGRAM)
(and
(instance ?PROGRAM ComputerProgram)
(subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
(containsInformation ?FILE ?SUBPROGRAM)))) |
Media.kif 1534-1540 |
|
(=>
(instance ?FILE TPFDDFile)
(and
(containsInformation ?FILE ?TPFDD)
(instance ?TPFDD TPFDD))) |
MilitaryProcesses.kif 1651-1655 |
|
(=>
(instance ?L LyricalContent)
(exists (?W ?I)
(and
(instance ?W Word)
(containsInformation ?W ?I)
(subProposition ?I ?L)))) |
Mid-level-ontology.kif 13801-13807 |
|
(=>
(instance ?MANUAL JOPESManual)
(and
(containsInformation ?MANUAL ?JOPES)
(instance ?JOPES JOPES))) |
MilitaryProcesses.kif 1844-1848 |
|
(=>
(instance ?OPINION LegalOpinion)
(exists (?DECISION ?TEXT ?PROPOSITION)
(and
(instance ?DECISION LegalDecision)
(result ?DECISION ?TEXT)
(containsInformation ?TEXT ?PROPOSITION)
(conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 16186-16193 |
|
(=>
(instance ?OPLAN OPLAN)
(exists (?CBO)
(and
(instance ?CBO TPFDDFile)
(containsInformation ?CBO ?OPLAN)))) |
MilitaryProcesses.kif 1802-1807 |
|
(=>
(instance ?PLAY DramaticPlay)
(hasPurpose ?PLAY
(exists (?ACT ?PROP)
(and
(instance ?ACT DramaticActing)
(containsInformation ?PLAY ?PROP)
(realization ?ACT ?PROP))))) |
Mid-level-ontology.kif 14953-14960 |
|
(=>
(instance ?PROG PerformanceProgram)
(exists (?PERF ?PROP)
(and
(containsInformation ?PROG ?PROP)
(realization ?PERF ?PROP)
(instance ?PERF Performance)))) |
Mid-level-ontology.kif 14538-14544 |
|
(=>
(instance ?R Reciting)
(exists (?P ?T)
(and
(realization ?R ?P)
(containsInformation ?T ?P)
(instance ?T Text)))) |
Mid-level-ontology.kif 15920-15926 |
|
(=>
(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 29664-29672 |
|
(=>
(instance ?READ Reading)
(exists (?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP)))) |
Merge.kif 12711-12717 |
|
(=>
(instance ?RECORD AudioRecording)
(exists (?INFO ?SOUND)
(and
(containsInformation ?RECORD ?INFO)
(realization ?SOUND ?INFO)
(instance ?SOUND RadiatingSound)))) |
Mid-level-ontology.kif 14313-14319 |
|
(=>
(instance ?SENT Sentence)
(exists (?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?SENT ?PROP)))) |
Merge.kif 15469-15474 |
|
(=>
(instance ?SIGNING SigningAnAgreement)
(exists (?DOC ?TERMS)
(and
(instance ?DOC LinguisticExpression)
(instance ?TERMS Agreement)
(containsInformation ?DOC ?TERMS)
(patient ?SIGNING ?DOC)))) |
Geography.kif 3125-3132 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |