(=>     (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	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition
(=>     (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 31610-31622	If a process is an instance of correcting, then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP
(=>     (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 4638-4653	If a process is an instance of crossposting, then there exist a proposition, another process,, , a third process,, , an entity and another entity such that the other process is an instance of Posting and the third process is an instance of Posting and the other process contains information the proposition and the other process contains information the proposition and the other process ends up at the entity and the third process ends up at the other entity and equal the other process and the third process and equal the entity and the other entity and the other process is a subprocess of the process and the third process is a subprocess of the process
(=>     (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 17354-17368	If a collection is an instance of dramatic cast, then there exist a content bearing physical, a proposition and a process such that the content bearing physical is an instance of fictional text and the content bearing physical contains information the proposition and the process expresses the content of the proposition and for all an agent if the agent is a member of the collection, then there exists another process such that the other process is an instance of dramatic acting and the agent is an agent of the other process and the other process is a subprocess of the process
(=>     (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?CONPLANwithTPFDD))))	MilitaryProcesses.kif 1623-1628	If a proposition is an instance of CONPLAN with TPFDD, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file and the content bearing physical contains information the proposition
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Obligation))))	Government.kif 617-625	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of obligation
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Permission))))	Government.kif 627-635	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of permission
(=>     (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 13311-13324	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 equal the agent and 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 652-657	If a content bearing physical is an instance of constitution document, then there exists a proposition such that the proposition is an instance of constitution and the content bearing physical contains information the proposition
(=>     (instance ?DOC ContractDocument)     (exists (?PROP)         (and             (containsInformation ?DOC ?PROP)             (property ?PROP Contract))))	Media.kif 979-984	If a content bearing physical is an instance of contract document, then there exists a proposition such that the content bearing physical contains information the proposition and the proposition the attribute contract
(=>     (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 31578-31586	If a time interval is an instance of elaborating, then there exist another time interval, the time intervalP and the other time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP subsumes the content of the other time intervalP
(=>     (instance ?FILE SoftwareFile)     (exists (?PROGRAM ?SUBPROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)             (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1536-1542	If a content bearing physical is an instance of software file, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition
(=>     (instance ?FILE TPFDDFile)     (and         (containsInformation ?FILE ?TPFDD)         (instance ?TPFDD TPFDD)))	MilitaryProcesses.kif 1651-1655	If a content bearing physical is an instance of TPFDD file, then the content bearing physical contains information a proposition and the proposition is an instance of TPFDD
(=>     (instance ?L LyricalContent)     (exists (?W ?I)         (and             (instance ?W Word)             (containsInformation ?W ?I)             (subProposition ?I ?L))))	Mid-level-ontology.kif 15173-15179	If a proposition is an instance of lyrical content, then there exist a content bearing physical and another proposition such that the content bearing physical is an instance of word and the content bearing physical contains information the other proposition and the other proposition is a sub-proposition of the proposition
(=>     (instance ?MANUAL JOPESManual)     (and         (containsInformation ?MANUAL ?JOPES)         (instance ?JOPES JOPES)))	MilitaryProcesses.kif 1844-1848	If a content bearing physical is an instance of JOPES manual, then the content bearing physical contains information a proposition and the proposition is an instance of JOPES
(=>     (instance ?OPINION LegalOpinion)     (exists (?DECISION ?TEXT ?PROPOSITION)         (and             (instance ?DECISION LegalDecision)             (result ?DECISION ?TEXT)             (containsInformation ?TEXT ?PROPOSITION)             (conclusion ?PROPOSITION ?OPINION))))	Mid-level-ontology.kif 17574-17581	If a proposition is an instance of legal opinion, then there exist a process, a content bearing physical and an argument such that the process is an instance of legal decision and the content bearing physical is a result of the process and the content bearing physical contains information the argument and the conclusion of argument the argument is the proposition
(=>     (instance ?OPLAN OPLAN)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?OPLAN))))	MilitaryProcesses.kif 1802-1807	If a proposition is an instance of OPLAN, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file and the content bearing physical contains information the proposition
(=>     (instance ?PLAY DramaticPlay)     (hasPurpose ?PLAY         (exists (?ACT ?PROP)             (and                 (instance ?ACT DramaticActing)                 (containsInformation ?PLAY ?PROP)                 (realization ?ACT ?PROP)))))	Mid-level-ontology.kif 16327-16334	If a physical is an instance of dramatic play, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of dramatic acting and the physical contains information the other entity and the entity expresses the content of the other entity
(=>     (instance ?PROG PerformanceProgram)     (exists (?PERF ?PROP)         (and             (containsInformation ?PROG ?PROP)             (realization ?PERF ?PROP)             (instance ?PERF Performance))))	Mid-level-ontology.kif 15910-15916	If a content bearing physical is an instance of performance program, then there exist a process and a proposition such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of performance
(=>     (instance ?R Reciting)     (exists (?P ?T)         (and             (realization ?R ?P)             (containsInformation ?T ?P)             (instance ?T Text))))	Mid-level-ontology.kif 17308-17314	If a process is an instance of reciting, then there exist a proposition and a content bearing physical such that the process expresses the content of the proposition and the content bearing physical contains information the proposition and the content bearing physical is an instance of text
(=>     (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 31595-31603	If a time interval is an instance of restating, then there exist another time interval, the other time intervalP and the time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP is equivalent to the other time intervalP
(=>     (instance ?READ Reading)     (exists (?TEXT ?PROP)         (and             (instance ?TEXT Text)             (containsInformation ?TEXT ?PROP)             (realization ?READ ?PROP))))	Merge.kif 12843-12849	If a process is an instance of reading, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of text and the content bearing physical contains information the proposition and the process expresses the content of the proposition
(=>     (instance ?RECORD AudioRecording)     (exists (?INFO ?SOUND)         (and             (containsInformation ?RECORD ?INFO)             (realization ?SOUND ?INFO)             (instance ?SOUND RadiatingSound))))	Mid-level-ontology.kif 15685-15691	If a content bearing physical is an instance of audio recording, then there exist a proposition and a process such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of radiating sound
(=>     (instance ?SENT Sentence)     (exists (?PROP)         (and             (instance ?PROP Proposition)             (containsInformation ?SENT ?PROP))))	Merge.kif 15600-15605	If a content bearing physical is an instance of sentence, then there exists a proposition such that the proposition is an instance of proposition and the content bearing physical contains information the proposition
(=>     (instance ?SIGNING SigningAnAgreement)     (exists (?DOC ?TERMS)         (and             (instance ?DOC LinguisticExpression)             (instance ?TERMS Agreement)             (containsInformation ?DOC ?TERMS)             (patient ?SIGNING ?DOC))))	Geography.kif 3283-3290	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners