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 1254-1258
s__domain(s__containsInformation__m,n__1,s__ContentBearingPhysical)

Merge.kif 1251-1251 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 1252-1252 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 1249-1249 contains information is an instance of asymmetric relation
s__instance(s__containsInformation__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

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

ComputingBrands.kif 4334-4334 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 16860-16860
s__termFormat(s__EnglishLanguage,s__containsInformation__m,'"contains information"')

domainEnglishFormat.kif 16859-16859

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 27816-27830
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 15596-15604
( ! [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 2884-2891
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
( ! [V__A,V__SF,V__FAST,V__I,V__SLOW,V__SS] :
   ((s__instance(V__A,s__Agent) &
       s__instance(V__FAST,s__TimeDuration) &
       s__instance(V__I,s__Proposition) &
       s__instance(V__SLOW,s__TimeDuration))
     =>
     (s__instance(V__SF,s__SpeakingAtAFasterRate) &
       s__instance(V__SS,s__SpeakingAtASlowerRate) &
       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)
,V__FAST)
&
s__duration(s__WhenFn(V__SS)
,V__SLOW))
=>
s__greaterThan(V__FAST,V__SLOW)
)
)

emotion.kif 1920-1930
No TPTP formula. May not be expressible in strict first order. Government.kif 2272-2279

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 11681-11686
No TPTP formula. May not be expressible in strict first order. Government.kif 1007-1016
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 15636-15645
( ! [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 27816-27830
No TPTP formula. May not be expressible in strict first order. Merge.kif 11758-11770
( ! [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 10093-10101
No TPTP formula. May not be expressible in strict first order. Merge.kif 10116-10123
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 2481-2499
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2458-2474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2435-2451
( ! [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 2877-2882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13874-13886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15893-15913
( ! [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 3874-3879
( ! [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 2907-2912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11472-11479
( ! [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 1291-1298
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2801-2810
( ! [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 27868-27880
( ! [V__CAST] :
   (s__instance(V__CAST,s__DramaticCast) =>
     ( ? [V__TEXT, V__PROP, V__PROC] :
       ((s__instance(V__PROP,s__Proposition) &
           s__instance(V__PROC,s__Process) &
           (s__instance(V__TEXT,s__FictionalText) &
             s__containsInformation(V__TEXT,V__PROP)
           &
           s__realization(V__PROC,V__PROP)
         &
         ( ! [V__MEMBER] :
           (s__instance(V__MEMBER,s__Agent) =>
             s__member(V__MEMBER,V__CAST)
           =>
           ( ? [V__SUB] :
             ((s__instance(V__SUB,s__DramaticActing) &
                 s__agent(V__SUB,V__MEMBER)
               &
               s__subProcess(V__SUB,V__PROC))))))))))
)
)

Mid-level-ontology.kif 13623-13637
( ! [V__CONPLANwithTPFDD] :
   (s__instance(V__CONPLANwithTPFDD,s__CONPLANwithTPFDD) =>
     ( ? [V__CBO] :
       ((s__instance(V__CBO,s__TPFDDFile) &
           s__containsInformation(V__CBO,V__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
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1195-1202 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 1062-1071 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 1122-1134 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners