(=>     (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 12207-12220	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 27861-27869	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 11432-11438	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 13859-13866	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 12682-12688	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 12310-12316	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 13602-13608	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 27878-27886	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 11762-11768	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 11962-11968	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 14293-14298	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 12061-12066	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 3774-3777	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 24394-24412	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 4422-4427	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 3.0 is open source software produced by Articulate Software and its partners