(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Obligation))))	Government.kif 640-648	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 650-658	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 12190-12203	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 675-680	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 ContractDocument, 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 27888-27896	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 1524-1530	If a content bearing physical is an instance of SoftwareFile, 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 1632-1636	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 11459-11465	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 1825-1829	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 13886-13893	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 1783-1788	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 12709-12715	If a physical is an instance of dramatic play, then the physical 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 12337-12343	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 13629-13635	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)         (and             (instance ?L LinguisticCommunication)             (earlier ?L ?R)             (containsInformation ?R ?RP)             (containsInformation ?L ?LP)             (equivalentContentInstance ?RP ?LP))))	Mid-level-ontology.kif 27905-27913	If a time interval is an instance of Restating, then there exists another time interval 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 11742-11748	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 11989-11995	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 14276-14281	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 2984-2991	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
(=>     (instance ?SM SheetMusic)     (exists (?MC)         (and             (instance ?MC MusicalComposition)             (containsInformation ?SM ?MC))))	Mid-level-ontology.kif 12088-12093	If a content bearing physical is an instance of sheet music, then there exists a proposition such that the proposition is an instance of musical composition and the content bearing physical contains information the proposition
(=>     (instance ?TPS TestProtocolSpecification)     (exists (?PLAN ?EXPERIMENT ?PROC)         (and             (instance ?PLAN Plan)             (instance ?EXPERIMENT Experimenting)             (instance ?PROC Process)             (represents ?PLAN ?PROC)             (subProcess ?EXPERIMENT ?PROC)             (containsInformation ?TPS ?PLAN))))	UXExperimentalTerms.kif 2959-2968	If a content bearing physical is an instance of test protocol specification, then there exist a proposition, a process and another process such that the proposition is an instance of plan and the process is an instance of experimenting and the other process is an instance of process and the proposition expresses the other process and the process is a subprocess of the other process and the content bearing physical contains information the proposition
(=>     (instance ?Title Title)     (exists (?Property ?Agent)         (containsInformation ?Title             (possesses ?Agent ?Property))))	FinancialOntology.kif 3774-3777	If a content bearing physical is an instance of title, then there exist an entity and another entity such that the content bearing physical contains information the other entity possesses the entity
(=>     (instance ?X Photocopier)     (hasPurpose ?X         (=>             (and                 (instance ?OBJ1 TwoDimensionalObject)                 (instance ?OBJ1 VisualContentBearingObject)                 (containsInformation ?OBJ1 ?INFO)                 (instance ?COPY Photocopying)                 (instrument ?COPY ?X)                 (patient ?COPY ?OBJ1))             (exists (?OBJ2 ?SHEET)                 (and                     (result ?COPY ?OBJ2)                     (instance ?OBJ2 TwoDimensionalObject)                     (instance ?OBJ2 VisualContentBearingObject)                     (instance ?SHEET PrintedSheet)                     (located ?OBJ2 ?SHEET)                     (containsInformation ?OBJ2 ?INFO))))))	Mid-level-ontology.kif 24421-24439	If a physical is an instance of Photocopier, then the physical purpose if an entity is an instance of two dimensional object and the entity is an instance of VisualContentBearingObject and the entity contains information another entity and a third entity is an instance of Photocopying and the physical is an instrument for the third entity and the entity is a patient of the third entity, then there exist a fourth entity and a fifth entity such that the fourth entity is a result of the third entity and the fourth entity is an instance of two dimensional object and the fourth entity is an instance of VisualContentBearingObject and the fifth entity is an instance of PrintedSheet and the fourth entity is located at the fifth entity and the fourth entity contains information the other entity
(=>     (realization ?PROCESS ?PROP)     (exists (?OBJ)         (and             (instance ?OBJ ContentBearingObject)             (containsInformation ?OBJ ?PROP))))	Merge.kif 4391-4396	If a process expresses the content of a proposition, then there exists a content bearing physical such that the content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners