(=>     (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	instance Proposition and Constitution Formula Proposition instance Formula and Formula containsInformation Formula and Proposition instance Proposition and Proposition subProposition Proposition and Proposition modalAttribute Formula and 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	instance Proposition and Constitution Formula Proposition instance Formula and Formula containsInformation Formula and Proposition instance Proposition and Proposition subProposition Proposition and Proposition modalAttribute Formula and 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 12089-12102	instance Process and Disagreeing Agent Agent, Process, Process, Proposition and Proposition subProcess Process and Process subProcess Process and Process agent Process and Agent agent Process and Agent equal Agent and Agent containsInformation Process and Proposition containsInformation Process and Proposition consistent Proposition and Proposition
(=>     (instance ?DOC ConstitutionDocument)     (exists (?CONST)         (and             (instance ?CONST Constitution)             (containsInformation ?DOC ?CONST))))	Government.kif 675-680	instance ContentBearingPhysical and ConstitutionDocument Proposition instance Proposition and Constitution containsInformation ContentBearingPhysical and Proposition
(=>     (instance ?DOC ContractDocument)     (exists (?PROP)         (and             (containsInformation ?DOC ?PROP)             (property ?PROP Contract))))	Media.kif 979-984	instance ContentBearingPhysical and ContractDocument Proposition containsInformation ContentBearingPhysical and Proposition property Proposition and 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 27824-27832	instance TimeInterval and Elaborating TimeInterval TimeIntervalP and TimeIntervalP instance TimeInterval and LinguisticCommunication earlier TimeInterval and TimeInterval containsInformation TimeInterval and TimeIntervalP containsInformation TimeInterval and TimeIntervalP subsumesContentInstance TimeIntervalP and TimeIntervalP
(=>     (instance ?FILE SoftwareFile)     (exists (?PROGRAM ?SUBPROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)             (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1524-1530	instance ContentBearingPhysical and SoftwareFile ContentBearingPhysical Proposition instance ContentBearingPhysical and ComputerProgram subsumesContentInstance ContentBearingPhysical and Proposition containsInformation ContentBearingPhysical and Proposition
(=>     (instance ?FILE TPFDDFile)     (and         (containsInformation ?FILE ?TPFDD)         (instance ?TPFDD TPFDD)))	MilitaryProcesses.kif 1632-1636	instance ContentBearingPhysical and TPFDDFile containsInformation ContentBearingPhysical and Proposition instance Proposition and TPFDD
(=>     (instance ?L LyricalContent)     (exists (?W ?I)         (and             (instance ?W Word)             (containsInformation ?W ?I)             (subProposition ?I ?L))))	Mid-level-ontology.kif 11406-11412	instance Proposition and LyricalContent ContentBearingPhysical Proposition instance ContentBearingPhysical and Word containsInformation ContentBearingPhysical and Proposition subProposition Proposition and Proposition
(=>     (instance ?MANUAL JOPESManual)     (and         (containsInformation ?MANUAL ?JOPES)         (instance ?JOPES JOPES)))	MilitaryProcesses.kif 1825-1829	instance ContentBearingPhysical and JOPESManual containsInformation ContentBearingPhysical and Proposition instance Proposition and 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 13833-13840	instance Proposition and LegalOpinion Process ContentBearingPhysical and Argument instance Process and LegalDecision result Process and ContentBearingPhysical containsInformation ContentBearingPhysical and Argument conclusion Argument and Proposition
(=>     (instance ?OPLAN OPLAN)     (exists (?CBO)         (and             (instance ?CBO TPFDDFile)             (containsInformation ?CBO ?OPLAN))))	MilitaryProcesses.kif 1783-1788	instance Proposition and OPLAN ContentBearingPhysical instance ContentBearingPhysical and TPFDDFile containsInformation ContentBearingPhysical and Proposition
(=>     (instance ?PLAY DramaticPlay)     (hasPurpose ?PLAY         (exists (?ACT ?PROP)             (and                 (instance ?ACT DramaticActing)                 (containsInformation ?PLAY ?PROP)                 (realization ?ACT ?PROP)))))	Mid-level-ontology.kif 12656-12662	instance Physical and DramaticPlay hasPurpose Physical and entity entity instance entity and DramaticActing containsInformation Physical and entity realization entity and entity
(=>     (instance ?PROG PerformanceProgram)     (exists (?PERF ?PROP)         (and             (containsInformation ?PROG ?PROP)             (realization ?PERF ?PROP)             (instance ?PERF Performance))))	Mid-level-ontology.kif 12284-12290	instance ContentBearingPhysical and PerformanceProgram Process Proposition containsInformation ContentBearingPhysical and Proposition realization Process and Proposition instance Process and Performance
(=>     (instance ?R Reciting)     (exists (?P ?T)         (and             (realization ?R ?P)             (containsInformation ?T ?P)             (instance ?T Text))))	Mid-level-ontology.kif 13576-13582	instance Process and Reciting Proposition ContentBearingPhysical realization Process and Proposition containsInformation ContentBearingPhysical and Proposition instance ContentBearingPhysical and 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 27841-27849	instance TimeInterval and Restating TimeInterval instance TimeInterval and LinguisticCommunication earlier TimeInterval and TimeInterval containsInformation TimeInterval and TimeIntervalP containsInformation TimeInterval and TimeIntervalP equivalentContentInstance TimeIntervalP and TimeIntervalP
(=>     (instance ?READ Reading)     (exists (?TEXT ?PROP)         (and             (instance ?TEXT Text)             (containsInformation ?TEXT ?PROP)             (realization ?READ ?PROP))))	Merge.kif 11641-11647	instance Process and Reading ContentBearingPhysical Proposition instance ContentBearingPhysical and Text containsInformation ContentBearingPhysical and Proposition realization Process and Proposition
(=>     (instance ?RECORD AudioRecording)     (exists (?INFO ?SOUND)         (and             (containsInformation ?RECORD ?INFO)             (realization ?SOUND ?INFO)             (instance ?SOUND RadiatingSound))))	Mid-level-ontology.kif 11936-11942	instance ContentBearingPhysical and AudioRecording Proposition Process containsInformation ContentBearingPhysical and Proposition realization Process and Proposition instance Process and RadiatingSound
(=>     (instance ?SENT Sentence)     (exists (?PROP)         (and             (instance ?PROP Proposition)             (containsInformation ?SENT ?PROP))))	Merge.kif 14175-14180	instance ContentBearingPhysical and Sentence Proposition instance Proposition and Proposition containsInformation ContentBearingPhysical and Proposition
(=>     (instance ?SIGNING SigningAnAgreement)     (exists (?DOC ?TERMS)         (and             (instance ?DOC LinguisticExpression)             (instance ?TERMS Agreement)             (containsInformation ?DOC ?TERMS)             (patient ?SIGNING ?DOC))))	Geography.kif 2984-2991	instance Process and SigningAnAgreement ContentBearingPhysical Proposition instance ContentBearingPhysical and LinguisticExpression instance Proposition and Agreement containsInformation ContentBearingPhysical and Proposition patient Process and ContentBearingPhysical
(=>     (instance ?SM SheetMusic)     (exists (?MC)         (and             (instance ?MC MusicalComposition)             (containsInformation ?SM ?MC))))	Mid-level-ontology.kif 12035-12040	instance ContentBearingPhysical and SheetMusic Proposition instance Proposition and MusicalComposition containsInformation ContentBearingPhysical and 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	instance ContentBearingPhysical and TestProtocolSpecification Proposition Process and Process instance Proposition and Plan instance Process and Experimenting instance Process and Process represents Proposition and Process subProcess Process and Process containsInformation ContentBearingPhysical and Proposition
(=>     (instance ?Title Title)     (exists (?Property ?Agent)         (containsInformation ?Title             (possesses ?Agent ?Property))))	FinancialOntology.kif 3773-3776	instance ContentBearingPhysical and Title entity entity containsInformation ContentBearingPhysical and possesses entity and 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 24357-24375	instance Physical and Photocopier hasPurpose Physical and instance entity and TwoDimensionalObject instance entity and VisualContentBearingObject containsInformation entity and entity instance entity and Photocopying instrument entity and Physical patient entity and entity entity entity result entity and entity instance entity and TwoDimensionalObject instance entity and VisualContentBearingObject instance entity and PrintedSheet located entity and entity containsInformation entity and entity
(=>     (realization ?PROCESS ?PROP)     (exists (?OBJ)         (and             (instance ?OBJ ContentBearingObject)             (containsInformation ?OBJ ?PROP))))	Merge.kif 4291-4296	realization Process and Proposition ContentBearingPhysical instance ContentBearingPhysical and ContentBearingObject containsInformation ContentBearingPhysical and 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