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

Formal Language: 



KB Term:  Term intersection
English Word: 

  containsInformation

Sigma KEE - containsInformation
containsInformation

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


s__documentation(s__containsInformation__m,s__ChineseLanguage,'"这是 represents 的子类别。这个术语把 ContentBearingPhysical 和这个 ContentBearingPhysical 所表达的 Proposition 联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。"')

chinese_format.kif 1648-1650
s__documentation(s__containsInformation__m,s__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 1288-1292
s__domain(s__containsInformation__m,n__1,s__ContentBearingPhysical)

Merge.kif 1285-1285 The number 1 argument of contains information is an instance of content bearing physical
s__domain(s__containsInformation__m,n__2,s__Proposition)

Merge.kif 1286-1286 The number 2 argument of contains information is an instance of proposition
s__instance(s__AsymmetricRelation,s__Class)

s__instance(s__containsInformation__m,s__AsymmetricRelation)

Merge.kif 1283-1283 contains information is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__containsInformation__m,s__BinaryPredicate)

Merge.kif 1282-1282 contains information is an instance of binary predicate
s__relatedInternalConcept(s__containsInformation__m,s__containsFormula__m)

Law.kif 23-23 contains information is internally related to contains formula
s__subrelation(s__containsInformation__m,s__represents__m)

Merge.kif 1284-1284 contains information is a subrelation of represents

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


s__format(s__ChineseLanguage,s__containsInformation__m,'"%1 %n{doesnt} contains %2 的资料"')

chinese_format.kif 81-81
s__format(s__EnglishLanguage,s__containsInformation__m,'"%1 %n{doesnt} contain%p{s} information %2"')

english_format.kif 81-81
s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)

Merge.kif 1257-1257 Content bearing object is internally related to contains information
s__relatedInternalConcept(s__realization__m,s__containsInformation__m)

Merge.kif 4464-4464 realization is internally related to contains information
s__subrelation(s__accountInformation__m,s__containsInformation__m)

ComputingBrands.kif 4380-4380 account information is a subrelation of contains information
s__subrelation(s__programCopy__m,s__containsInformation__m)

QoSontology.kif 633-633 program copy is a subrelation of contains information
s__termFormat(s__ChineseLanguage,s__containsInformation__m,'"包含信息"')

chinese_format.kif 82-82
s__termFormat(s__ChineseTraditionalLanguage,s__containsInformation__m,'"包含信息"')

domainEnglishFormat.kif 16928-16928
s__termFormat(s__EnglishLanguage,s__containsInformation__m,'"contains information"')

domainEnglishFormat.kif 16927-16927

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


No TPTP formula. May not be expressible in strict first order. Government.kif 753-759
( ! [V__P,V__A,V__C] :
   (((s__instance(V__P,s__Proposition) &
         s__instance(V__A,s__Agent) &
         s__instance(V__A,s__Agreement))
       =>
       (((s__instance(V__C,s__Confirming) &
             s__agent(V__C,V__A)
           &
           s__containsInformation(V__C,V__P))
       =>
       (( ? [V__S, V__RA, V__A2] :
           ((s__instance(V__A2,s__Agent) &
               s__instance(V__A2,s__Agreement) &
               (s__instance(V__S,s__Stating) &
                 s__earlier(V__S,V__C)
               &
               s__instance(V__RA,s__ReachingAgreement) &
               s__agent(V__S,V__A2)
             &
             s__containsInformation(V__RA,V__P)
           &
           s__containsInformation(V__S,V__P)
         &
         s__partyToAgreement(V__RA,V__A)
       &
       s__partyToAgreement(V__RA,V__A2)))))))))
)
)

Mid-level-ontology.kif 28698-28712
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
( ! [V__DOC,V__PROP] :
   ((s__instance(V__PROP,s__Proposition) =>
       (((s__instance(V__DOC,s__ContractDocument) &
             s__containsInformation(V__DOC,V__PROP)
           &
           s__property(V__PROP,s__Contract))
         =>
         (s__property(V__PROP,s__Law)))))
   )
)

Media.kif 995-1000
( ! [V__INFO,V__CBO,V__EVENT] :
   ((s__instance(V__INFO,s__Proposition) =>
       (((s__instance(V__EVENT,s__OperationPlanning) &
             s__result(V__EVENT,V__CBO)
           &
           s__instance(V__CBO,s__ContentBearingObject) &
           s__containsInformation(V__CBO,V__INFO))
       =>
       (s__instance(V__INFO,s__OperationPlan)))))
)
)

MilitaryProcesses.kif 1508-1514
( ! [V__PLAN,V__CBO,V__EVENT] :
   ((s__instance(V__EVENT,s__Process) =>
       (((s__instance(V__PLAN,s__OperationPlan) &
             s__containsInformation(V__CBO,V__PLAN)
           &
           s__instance(V__CBO,s__ContentBearingObject) &
           s__result(V__EVENT,V__CBO))
       =>
       (s__instance(V__EVENT,s__OperationPlanning)))))
)
)

MilitaryProcesses.kif 1516-1522
( ! [V__OP,V__PLAN,V__CBO] :
   (((s__instance(V__PLAN,s__OperationPlan) &
         s__instance(V__CBO,s__ContentBearingObject) &
         s__containsInformation(V__CBO,V__PLAN)
       &
       s__instance(V__OP,s__MilitaryOperation) &
       s__result(V__OP,V__CBO))
   =>
   (s__represents(V__PLAN,V__OP)))
)
)

MilitaryProcesses.kif 1554-1561
( ! [V__PLAN,V__OBJ] :
   (((s__instance(V__PLAN,s__Plan) &
         s__instance(V__OBJ,s__ContentBearingObject) &
         s__containsInformation(V__OBJ,V__PLAN))
     =>
     (( ? [V__PLANNING] :
         ((s__instance(V__PLANNING,s__Planning) &
             s__result(V__PLANNING,V__OBJ))))))
)
)

Merge.kif 16122-16130
( ! [V__PLANNING,V__INFO,V__CBO] :
   ((s__instance(V__INFO,s__Proposition) =>
       (((s__instance(V__PLANNING,s__JointOperationPlanning) &
             s__result(V__PLANNING,V__CBO)
           &
           s__instance(V__CBO,s__ContentBearingObject) &
           s__containsInformation(V__CBO,V__INFO))
       =>
       (s__instance(V__INFO,s__OPLAN)))))
)
)

MilitaryProcesses.kif 1793-1799
( ! [V__CBO,V__COMM,V__PROP] :
   (((s__instance(V__PROP,s__Proposition) &
         s__instance(V__CBO,s__ContentBearingObject) &
         s__containsInformation(V__CBO,V__PROP)
       &
       s__instance(V__COMM,s__Communication) &
       s__patient(V__COMM,V__CBO))
   =>
   (s__represents(V__COMM,V__PROP)))
)
)

Geography.kif 2906-2913
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
( ! [V__A,V__SF,V__FAST,V__U,V__I,V__SLOW,V__SS] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__FAST,s__RealNumber) &
         s__instance(V__I,s__Proposition) &
         s__instance(V__SLOW,s__RealNumber))
       =>
       (((s__instance(V__SF,s__SpeakingAtAFasterRate) &
             s__instance(V__SS,s__SpeakingAtASlowerRate) &
             s__instance(V__U,s__UnitOfDuration) &
             s__agent(V__SF,V__A)
           &
           s__agent(V__SS,V__A)
         &
         s__containsInformation(V__SF,V__I)
       &
       s__containsInformation(V__SS,V__I)
     &
     s__duration(s__WhenFn(V__SF)
  ,s__MeasureFn(V__FAST,V__U))
&
s__duration(s__WhenFn(V__SS)
,s__MeasureFn(V__SLOW,V__U)))
=>
(s__greaterThan(V__FAST,V__SLOW)))))
)
)

emotion.kif 2012-2025
No TPTP formula. May not be expressible in strict first order. Government.kif 2317-2324

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


( ! [V__AGENT,V__ATTR,V__PROP,V__AGREEMENT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ATTR,s__DeonticAttribute) &
         s__instance(V__PROP,s__Proposition) &
         s__instance(V__AGREEMENT,s__Agreement))
       =>
       ((s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT)
         =>
         ((( ? [V__CLAUSE] :
               ((s__instance(V__CLAUSE,s__ContentBearingPhysical) &
                   s__containsInformation(V__CLAUSE,V__PROP))))
           &
           s__partyToAgreement(V__AGENT,V__AGREEMENT))))))
)
)

Mid-level-ontology.kif 13264-13269
No TPTP formula. May not be expressible in strict first order. Government.kif 1015-1024
No TPTP formula. May not be expressible in strict first order. Government.kif 943-952
No TPTP formula. May not be expressible in strict first order. Merge.kif 16162-16171
( ! [V__P,V__A,V__C] :
   (((s__instance(V__P,s__Proposition) &
         s__instance(V__A,s__Agent) &
         s__instance(V__A,s__Agreement))
       =>
       (((s__instance(V__C,s__Confirming) &
             s__agent(V__C,V__A)
           &
           s__containsInformation(V__C,V__P))
       =>
       (( ? [V__S, V__RA, V__A2] :
           ((s__instance(V__A2,s__Agent) &
               s__instance(V__A2,s__Agreement) &
               (s__instance(V__S,s__Stating) &
                 s__earlier(V__S,V__C)
               &
               s__instance(V__RA,s__ReachingAgreement) &
               s__agent(V__S,V__A2)
             &
             s__containsInformation(V__RA,V__P)
           &
           s__containsInformation(V__S,V__P)
         &
         s__partyToAgreement(V__RA,V__A)
       &
       s__partyToAgreement(V__RA,V__A2)))))))))
)
)

Mid-level-ontology.kif 28698-28712
No TPTP formula. May not be expressible in strict first order. Merge.kif 12115-12127
( ! [V__CBO,V__EVENT] :
   (((s__instance(V__EVENT,s__Planning) &
         s__result(V__EVENT,V__CBO)
       &
       s__instance(V__CBO,s__ContentBearingObject))
     =>
     (( ? [V__PLAN] :
         ((s__instance(V__PLAN,s__Plan) &
             s__containsInformation(V__CBO,V__PLAN))))))
)
)

Merge.kif 10412-10420
( ! [V__P,V__H,V__PROP] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__PROP,s__Proposition) &
         s__instance(V__PROP,s__Sentence))
       =>
       (((s__instance(V__H,s__Hallucination) &
             s__experiencer(V__H,V__P))
         =>
         (( ? [V__PER] :
             ((s__instance(V__PER,s__Perception) &
                 s__experiencer(V__PER,V__P)
               &
               s__causes(V__H,V__PER)
             &
             s__containsInformation(V__PER,V__PROP)
           &
           s__truth(V__PROP,'$false__m'))))))))
)
)

Mid-level-ontology.kif 6075-6085
No TPTP formula. May not be expressible in strict first order. Merge.kif 10435-10442
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2187-2197
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2175-2185
( ! [V__PLAN,V__PROC] :
   (((s__instance(V__PLAN,s__Plan) &
         s__instance(V__PROC,s__Process) &
         s__represents(V__PLAN,V__PROC))
     =>
     (( ? [V__PLANNING, V__CBO] :
         ((s__instance(V__PLANNING,s__Planning) &
             s__instance(V__CBO,s__ContentBearingPhysical) &
             s__containsInformation(V__CBO,V__PLAN)
           &
           s__result(V__PLANNING,V__CBO)
         &
         s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
    ,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__PROC))))))))
)
)

Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2508-2526
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2485-2501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2462-2478
( ! [V__PROP] :
   (((s__instance(V__PROP,s__Proposition) &
         s__instance(s__DocumentFn(V__PROP)
      ,s__Text))
     =>
     (( ? [V__DOC] :
         ((s__instance(V__DOC,s__ContentBearingPhysical) &
             s__containsInformation(V__DOC,V__PROP))))))
)
)

Geography.kif 2899-2904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15369-15381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17267-17287
( ! [V__Date,V__Statement] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Statement,s__BankStatement))
       =>
       ((s__dateOfStatement(V__Statement,V__Date)
         =>
         (( ? [V__Copy] :
             ((s__instance(V__Copy,s__ContentBearingPhysical) &
                 (s__containsInformation(V__Copy,V__Statement)
                 &
                 s__date(V__Copy,V__Date)))))))))
)
)

FinancialOntology.kif 3943-3948
( ! [V__EXPERIMENT,V__CBP] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__CBP,s__ContentBearingPhysical))
       =>
       ((s__finalExperimentReport(V__CBP,V__EXPERIMENT)
         =>
         (( ? [V__RESULT] :
             ((s__instance(V__RESULT,s__Proposition) &
                 (s__result(V__EXPERIMENT,V__RESULT)
                 &
                 s__containsInformation(V__CBP,V__RESULT)))))))))
)
)

UXExperimentalTerms.kif 2912-2917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13054-13061
( ! [V__ARGUE] :
   ((s__instance(V__ARGUE,s__Arguing) =>
       (( ? [V__STATEMENT, V__ARGUMENT] :
           ((s__patient(V__ARGUE,V__STATEMENT)
             &
             s__instance(V__STATEMENT,s__Statement) &
             s__containsInformation(V__STATEMENT,V__ARGUMENT)
           &
           s__instance(V__ARGUMENT,s__Argument))))))
)
)

Mid-level-ontology.kif 853-860
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1862-1883
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2806-2815
( ! [V__C] :
   ((s__instance(V__C,s__Correcting) =>
       (( ? [V__D, V__S, V__SP, V__CP] :
           ((s__instance(V__SP,s__Proposition) &
               s__instance(V__CP,s__Proposition) &
               (s__instance(V__D,s__Disagreeing) &
                 s__subProcess(V__C,V__D)
               &
               s__instance(V__S,s__Stating) &
               s__subProcess(V__S,V__D)
             &
             s__containsInformation(V__S,V__SP)
           &
           s__containsInformation(V__C,V__CP)
         &
         s__refers(V__CP,V__SP)
       &
       ~(s__consistent(V__CP,V__SP))))))))
)
)

Mid-level-ontology.kif 28750-28762

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1227-1234 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 909-917 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1078-1089 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1146-1160 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law


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

Show without tree


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