Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - containsInformation
containsInformation

appearance as argument number 1
-------------------------


(documentation containsInformation ChineseLanguage "这是 represents 的子类别。这个术语把 ContentBearingPhysical 和这个 ContentBearingPhysical 所表达的 Proposition 联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。") chinese_format.kif 1648-1650
(documentation containsInformation EnglishLanguage "A subrelation of represents. This predicate relates a ContentBearingPhysical to the Proposition that is expressed by the ContentBearingPhysical. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.") Merge.kif 1257-1261
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1254-1254
(domain containsInformation 2 Proposition) Merge.kif 1255-1255
(instance containsInformation AsymmetricRelation) Merge.kif 1252-1252
(instance containsInformation BinaryPredicate) Merge.kif 1251-1251
(relatedInternalConcept containsInformation containsFormula) Law.kif 23-23
(subrelation containsInformation represents) Merge.kif 1253-1253

appearance as argument number 2
-------------------------


(format ChineseLanguage containsInformation "%1 %n{doesn't} contains %2 的资料") chinese_format.kif 81-81
(format EnglishLanguage containsInformation "%1 %n{doesn't} contain%p{s} information %2") english_format.kif 81-81
(relatedInternalConcept ContentBearingObject containsInformation) Merge.kif 1226-1226
(relatedInternalConcept realization containsInformation) Merge.kif 4428-4428
(subrelation accountInformation containsInformation) ComputingBrands.kif 4350-4350
(subrelation programCopy containsInformation) QoSontology.kif 633-633
(termFormat ChineseLanguage containsInformation "包含信息") chinese_format.kif 82-82
(termFormat ChineseTraditionalLanguage containsInformation "包含信息") domainEnglishFormat.kif 16935-16935
(termFormat EnglishLanguage containsInformation "contains information") domainEnglishFormat.kif 16934-16934

antecedent
-------------------------


(=>
    (and
        (agreementEffectiveDuring ?AGR ?DATE)
        (instance ?TIME ?DATE)
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ?AGR))
    (holdsDuring ?TIME ?FORMULA))
Government.kif 753-759
(=>
    (and
        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
        (and
            (instance ?S Stating)
            (earlier ?S ?C)
            (instance ?RA ReachingAgreement)
            (agent ?S ?A2)
            (containsInformation ?RA ?P)
            (containsInformation ?S ?P)
            (partyToAgreement ?RA ?A)
            (partyToAgreement ?RA ?A2))))
Mid-level-ontology.kif 27849-27863
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (agreementEffectiveDuring ?CONST
            (WhenFn ?GOV))
        (subProposition ?PART ?CONST)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))
Government.kif 761-769
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))
Media.kif 995-1000
(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))
MilitaryProcesses.kif 1508-1514
(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))
MilitaryProcesses.kif 1516-1522
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1554-1561
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 15672-15680
(=>
    (and
        (instance ?PLANNING JointOperationPlanning)
        (result ?PLANNING ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OPLAN))
MilitaryProcesses.kif 1793-1799
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2906-2913
(=>
    (and
        (instance ?PUB JointPublication)
        (containsInformation ?PUB ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-948
(=>
    (and
        (instance ?SF SpeakingAtAFasterRate)
        (instance ?SS SpeakingAtASlowerRate)
        (instance ?U UnitOfDuration)
        (agent ?SF ?A)
        (agent ?SS ?A)
        (containsInformation ?SF ?I)
        (containsInformation ?SS ?I)
        (duration
            (WhenFn ?SF)
            (MeasureFn ?FAST ?U))
        (duration
            (WhenFn ?SS)
            (MeasureFn ?SLOW ?U)))
    (greaterThan ?FAST ?SLOW))
emotion.kif 1926-1939
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2304-2311

consequent
-------------------------


(=>
    (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
    (and
        (exists (?CLAUSE)
            (containsInformation ?CLAUSE ?PROP))
        (partyToAgreement ?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 11708-11713
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMaximum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE))))
Government.kif 1015-1024
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMinimum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))
Government.kif 943-952
(=>
    (and
        (instance ?ARGUMENT ValidDeductiveArgument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT))
        (conclusion ?CONCLUSION ?ARGUMENT))
    (exists (?FORMULA1 ?FORMULA2)
        (and
            (containsInformation ?FORMULA1 ?PREMISES)
            (containsInformation ?FORMULA2 ?CONCLUSION)
            (entails ?PREMISES ?CONCLUSION))))
Merge.kif 15712-15721
(=>
    (and
        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
        (and
            (instance ?S Stating)
            (earlier ?S ?C)
            (instance ?RA ReachingAgreement)
            (agent ?S ?A2)
            (containsInformation ?RA ?P)
            (containsInformation ?S ?P)
            (partyToAgreement ?RA ?A)
            (partyToAgreement ?RA ?A2))))
Mid-level-ontology.kif 27849-27863
(=>
    (and
        (instance ?DECODE Decoding)
        (patient ?DECODE ?DOC1))
    (exists (?ENCODE ?DOC2 ?TIME)
        (and
            (containsInformation ?DOC2 ?PROP)
            (containsInformation ?DOC1 ?PROP)
            (temporalPart ?TIME
                (PastFn
                    (WhenFn ?DECODE)))
            (holdsDuring ?TIME
                (and
                    (instance ?ENCODE Encoding)
                    (patient ?ENCODE ?DOC2))))))
Merge.kif 11823-11835
(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))
Merge.kif 10161-10169
(=>
    (and
        (instance ?INTERPRET Interpreting)
        (agent ?INTERPRET ?AGENT)
        (patient ?INTERPRET ?CONTENT)
        (instance ?CONTENT ContentBearingObject))
    (exists (?PROP)
        (holdsDuring
            (EndFn
                (WhenFn ?INTERPRET))
            (believes ?AGENT
                (containsInformation ?CONTENT ?PROP)))))
Merge.kif 10184-10191
(=>
    (and
        (instance ?P Decoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2187-2197
(=>
    (and
        (instance ?P Encoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2175-2185
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNING ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))
Military.kif 32-44
(=>
    (and
        (instance ?POLICY ChildrenPolicy)
        (policyOwner ?AGENT ?POLICY)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?CUST1)
                    (and
                        (customer ?CUST1 ?AGENT)
                        (instance ?CUST1 HumanChild))) Possibility))
        (containsInformation ?POLICY
            (not
                (modalAttribute
                    (exists (?CUST2)
                        (and
                            (customer ?CUST2 ?AGENT)
                            (instance ?CUST2 HumanChild))) Possibility)))))
Hotel.kif 2495-2513
(=>
    (and
        (instance ?POLICY PetPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?PET1)
                    (and
                        (instance ?PET1 DomesticAnimal)
                        (located ?PET1 ?LOC))) Permission))
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?PET2)
                    (and
                        (instance ?PET2 DomesticAnimal)
                        (located ?PET2 ?LOC))) Prohibition))))
Hotel.kif 2472-2488
(=>
    (and
        (instance ?POLICY SmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?SMOKE1)
                    (and
                        (instance ?SMOKE1 Smoking)
                        (located ?SMOKE1 ?LOC))) Permission))
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?SMOKE2)
                    (and
                        (instance ?SMOKE2 Smoking)
                        (located ?SMOKE2 ?LOC))) Prohibition))))
Hotel.kif 2449-2465
(=>
    (and
        (instance ?PROP Proposition)
        (instance
            (DocumentFn ?PROP) Text))
    (exists (?DOC)
        (containsInformation ?DOC ?PROP)))
Geography.kif 2899-2904
(=>
    (and
        (instance ?S LegalSummons)
        (patient ?S ?O)
        (destination ?S ?P))
    (exists (?C ?T)
        (and
            (instance ?C CourtRoom)
            (containsInformation ?O
                (modalAttribute
                    (holdsDuring ?T
                        (located ?P ?C)) Law)))))
Mid-level-ontology.kif 13901-13913
(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instrument ?CUT ?X))
    (hasPurpose ?CUT
        (=>
            (and
                (instance ?CBO VisualContentBearingObject)
                (containsInformation ?CBO ?INFO)
                (instance ?PAPER Paper)
                (located ?CBO ?PAPER))
            (decreasesLikelihood
                (patient ?CUT ?PAPER)
                (exists (?READ)
                    (and
                        (instance ?READ Interpreting)
                        (patient ?READ ?INFO)
                        (earlier
                            (WhenFn ?CUT)
                            (WhenFn ?READ))))))))
Mid-level-ontology.kif 15920-15940
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 3922-3927
(=>
    (finalExperimentReport ?CBP ?EXPERIMENT)
    (exists (?RESULT)
        (and
            (result ?EXPERIMENT ?RESULT)
            (containsInformation ?CBP ?RESULT))))
UXExperimentalTerms.kif 2909-2914
(=>
    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
        (and
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
            (not
                (consistent ?CONTENT ?CRIME)))))
Mid-level-ontology.kif 11499-11506
(=>
    (instance ?ARGUE Arguing)
    (exists (?STATEMENT ?ARGUMENT)
        (and
            (patient ?ARGUE ?STATEMENT)
            (instance ?STATEMENT Statement)
            (containsInformation ?STATEMENT ?ARGUMENT)
            (instance ?ARGUMENT Argument))))
Mid-level-ontology.kif 1297-1304
(=>
    (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 2803-2812
(=>
    (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 27901-27913
(=>
    (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 13650-13664
(=>
    (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)
    (exists (?CBO)
        (and
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1604-1609

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)
Government.kif 1227-1234
(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)
Government.kif 909-917
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)
Government.kif 1078-1089
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?VOTER
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)
Government.kif 1146-1160


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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