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
-------------------------


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 1259-1263
s__domain(s__containsInformation__m,n__1,s__ContentBearingPhysical)

Merge.kif 1256-1256 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 1257-1257 The number 2 argument of contains information is an instance of proposition
s__instance(s__containsInformation__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 1253-1253 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 1255-1255 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 1228-1228 Content bearing object is internally related to contains information
s__relatedInternalConcept(s__realization__m,s__containsInformation__m)

Merge.kif 4431-4431 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 28065-28079
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 16020-16028
( ! [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 1927-1940
No TPTP formula. May not be expressible in strict first order. Government.kif 2304-2311

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 12653-12658
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 16060-16069
( ! [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 28065-28079
No TPTP formula. May not be expressible in strict first order. Merge.kif 12082-12094
( ! [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 10379-10387
( ! [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 5971-5981
No TPTP formula. May not be expressible in strict first order. Merge.kif 10402-10409
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 2495-2513
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2472-2488
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2449-2465
( ! [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 14751-14763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16649-16669
( ! [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 3922-3927
( ! [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 12443-12450
( ! [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 852-859
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 28117-28129

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 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