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 联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。')

Merge.kif 1408-1410
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 1403-1407
s__domain(s__containsInformation__m,1,s__ContentBearingPhysical)

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

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

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 1398-1398 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 1400-1400 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 67-67
s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)

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

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

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

chinese_format.kif 82-82 "包含信息" is the printable form of contains information in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__containsInformation__m,'contains information')

domainEnglishFormat.kif 3244-3244 "contains information" is the printable form of contains information in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 760-766
( ! [V__P,V__A,V__C] :
   ((s__instance(V__P,s__Proposition)s__and__ms__instance(V__A,s__Agent)s__and__ms__instance(V__A,s__Agreement))
    s__=>((s__instance(V__C,s__Confirming)s__and__ms__agent(V__C,V__A)
      s__and__ms__containsInformation(V__C,V__P))
  s__=>(s__exists__m[V__S,V__RA,V__A2] :
     (s__instance(V__A2,s__Agent)s__and__ms__instance(V__A2,s__Agreement)s__and__m(s__instance(V__S,s__Stating)s__and__ms__earlier(V__S,V__C)
    s__and__ms__instance(V__RA,s__ReachingAgreement)s__and__ms__agent(V__S,V__A2)
  s__and__ms__containsInformation(V__RA,V__P)
s__and__ms__containsInformation(V__S,V__P)
s__and__ms__partyToAgreement(V__RA,V__A)
s__and__ms__partyToAgreement(V__RA,V__A2))))))
)

Mid-level-ontology.kif 27810-27824
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
( ! [V__PROP,V__DOC] :
   (s__instance(V__PROP,s__Proposition)s__=>((s__instance(V__DOC,s__ContractDocument)s__and__ms__containsInformation(V__DOC,V__PROP)
      s__and__ms__property(V__PROP,s__Contract))
    s__=>s__property(V__PROP,s__Law)))
)

Media.kif 995-1000
( ! [V__INFO,V__EVENT,V__CBO] :
   (s__instance(V__INFO,s__Proposition)s__=>((s__instance(V__EVENT,s__OperationPlanning)s__and__ms__result(V__EVENT,V__CBO)
      s__and__ms__instance(V__CBO,s__ContentBearingObject)s__and__ms__containsInformation(V__CBO,V__INFO))
  s__=>s__instance(V__INFO,s__OperationPlan)))
)

MilitaryProcesses.kif 1495-1501
( ! [V__EVENT,V__PLAN,V__CBO] :
   (s__instance(V__EVENT,s__Process)s__=>((s__instance(V__PLAN,s__OperationPlan)s__and__ms__containsInformation(V__CBO,V__PLAN)
      s__and__ms__instance(V__CBO,s__ContentBearingObject)s__and__ms__result(V__EVENT,V__CBO))
  s__=>s__instance(V__EVENT,s__OperationPlanning)))
)

MilitaryProcesses.kif 1503-1509
( ! [V__PLAN,V__CBO,V__OP] :
   ((s__instance(V__PLAN,s__OperationPlan)s__and__ms__instance(V__CBO,s__ContentBearingObject)s__and__ms__containsInformation(V__CBO,V__PLAN)
    s__and__ms__instance(V__OP,s__MilitaryOperation)s__and__ms__result(V__OP,V__CBO))
s__=>s__represents(V__PLAN,V__OP))
)

MilitaryProcesses.kif 1541-1548
( ! [V__PLAN,V__OBJ] :
   ((s__instance(V__PLAN,s__Plan)s__and__ms__instance(V__OBJ,s__ContentBearingObject)s__and__ms__containsInformation(V__OBJ,V__PLAN))
  s__=>(s__exists__m[V__PLANNING] :
     (s__instance(V__PLANNING,s__Planning)s__and__ms__result(V__PLANNING,V__OBJ))))
)

Merge.kif 17094-17102
( ! [V__INFO,V__PLANNING,V__CBO] :
   (s__instance(V__INFO,s__Proposition)s__=>((s__instance(V__PLANNING,s__JointOperationPlanning)s__and__ms__result(V__PLANNING,V__CBO)
      s__and__ms__instance(V__CBO,s__ContentBearingObject)s__and__ms__containsInformation(V__CBO,V__INFO))
  s__=>s__instance(V__INFO,s__OPLAN)))
)

MilitaryProcesses.kif 1780-1786
( ! [V__PROP,V__CBO,V__COMM] :
   ((s__instance(V__PROP,s__Proposition)s__and__ms__instance(V__CBO,s__ContentBearingObject)s__and__ms__containsInformation(V__CBO,V__PROP)
    s__and__ms__instance(V__COMM,s__Communication)s__and__ms__patient(V__COMM,V__CBO))
s__=>s__represents(V__COMM,V__PROP))
)

Geography.kif 2871-2878
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 929-937
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285

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


( ! [V__AGENT,V__ATTR,V__PROP,V__AGREEMENT] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__ATTR,s__DeonticAttribute)s__and__ms__instance(V__PROP,s__Proposition)s__and__ms__instance(V__AGREEMENT,s__Agreement))
    s__=>(s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT)
    s__=>((s__exists__m[V__CLAUSE] :
         (s__instance(V__CLAUSE,s__ContentBearingPhysical)s__and__ms__containsInformation(V__CLAUSE,V__PROP)))
    s__and__ms__partyToAgreement(V__AGENT,V__AGREEMENT))))
)

Mid-level-ontology.kif 11675-11680
No TPTP formula. May not be expressible in strict first order. Government.kif 1014-1023
No TPTP formula. May not be expressible in strict first order. Government.kif 950-959
No TPTP formula. May not be expressible in strict first order. Merge.kif 17140-17149
( ! [V__P,V__A,V__C] :
   ((s__instance(V__P,s__Proposition)s__and__ms__instance(V__A,s__Agent)s__and__ms__instance(V__A,s__Agreement))
    s__=>((s__instance(V__C,s__Confirming)s__and__ms__agent(V__C,V__A)
      s__and__ms__containsInformation(V__C,V__P))
  s__=>(s__exists__m[V__S,V__RA,V__A2] :
     (s__instance(V__A2,s__Agent)s__and__ms__instance(V__A2,s__Agreement)s__and__m(s__instance(V__S,s__Stating)s__and__ms__earlier(V__S,V__C)
    s__and__ms__instance(V__RA,s__ReachingAgreement)s__and__ms__agent(V__S,V__A2)
  s__and__ms__containsInformation(V__RA,V__P)
s__and__ms__containsInformation(V__S,V__P)
s__and__ms__partyToAgreement(V__RA,V__A)
s__and__ms__partyToAgreement(V__RA,V__A2))))))
)

Mid-level-ontology.kif 27810-27824
No TPTP formula. May not be expressible in strict first order. Merge.kif 12640-12652
( ! [V__EVENT,V__CBO] :
   ((s__instance(V__EVENT,s__Planning)s__and__ms__result(V__EVENT,V__CBO)
    s__and__ms__instance(V__CBO,s__ContentBearingObject))
  s__=>(s__exists__m[V__PLAN] :
     (s__instance(V__PLAN,s__Plan)s__and__ms__containsInformation(V__CBO,V__PLAN))))
)

Merge.kif 10807-10815
No TPTP formula. May not be expressible in strict first order. Merge.kif 10833-10840
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2160-2170
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2148-2158
( ! [V__PLANNNG,V__PLAN,V__PROC] :
   (s__instance(V__PLANNNG,s__Process)s__=>((s__instance(V__PLAN,s__Plan)s__and__ms__instance(V__PROC,s__Process)s__and__ms__represents(V__PLAN,V__PROC))
    s__=>(s__exists__m[V__PLANNING,V__CBO] :
       (s__instance(V__PLANNING,s__Planning)s__and__ms__instance(V__CBO,s__ContentBearingPhysical)s__and__ms__containsInformation(V__CBO,V__PLAN)
      s__and__ms__result(V__PLANNNG,V__CBO)
    s__and__ms__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
,s__BeginFn(s__WhenFn(V__PROC)))
s__and__ms__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 2476-2494
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2453-2469
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2430-2446
( ! [V__DOC,V__PROP] :
   (s__instance(V__DOC,s__ContentBearingPhysical)s__=>((s__instance(V__PROP,s__Proposition)s__and__ms__instance(s__DocumentFn(V__PROP)
      ,s__Text))
    s__=>s__containsInformation(V__DOC,V__PROP)))
)

Geography.kif 2865-2869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13873-13885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15892-15912
( ! [V__Date,V__Statement] :
   ((s__instance(V__Date,s__Day)s__and__ms__instance(V__Statement,s__BankStatement))
    s__=>(s__dateOfStatement(V__Statement,V__Date)
    s__=>(s__exists__m[V__Copy] :
       (s__instance(V__Copy,s__ContentBearingPhysical)s__and__m(s__containsInformation(V__Copy,V__Statement)
      s__and__ms__date(V__Copy,V__Date))))))
)

FinancialOntology.kif 3867-3872
( ! [V__EXPERIMENT,V__EXPERIMENT_REPORT,V__CBP] :
   ((s__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__instance(V__EXPERIMENT_REPORT,s__ContentBearingPhysical)s__and__ms__instance(V__CBP,s__ContentBearingPhysical))
    s__=>(s__finalExperimentReport(V__CBP,V__EXPERIMENT)
    s__=>(s__exists__m[V__RESULT] :
       (s__instance(V__RESULT,s__Proposition)s__and__m(s__result(V__EXPERIMENT,V__RESULT)
      s__and__ms__containsInformation(V__EXPERIMENT_REPORT,V__RESULT))))))
)

UXExperimentalTerms.kif 2909-2914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11466-11473
( ! [V__ARGUE] :
   (s__instance(V__ARGUE,s__Arguing)s__=>(s__exists__m[V__STATEMENT,V__ARGUMENT] :
       (s__patient(V__ARGUE,V__STATEMENT)
      s__and__ms__instance(V__STATEMENT,s__Statement)s__and__ms__containsInformation(V__STATEMENT,V__ARGUMENT)
    s__and__ms__instance(V__ARGUMENT,s__Argument))))
)

Mid-level-ontology.kif 1296-1303
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812
( ! [V__CS,V__C] :
   (s__instance(V__CS,s__Proposition)s__=>(s__instance(V__C,s__Correcting)s__=>(s__exists__m[V__D,V__S,V__SP,V__CP] :
         (s__instance(V__SP,s__Proposition)s__and__ms__instance(V__CP,s__Proposition)s__and__m(s__instance(V__D,s__Disagreeing)s__and__ms__subProcess(V__C,V__D)
        s__and__ms__instance(V__S,s__Stating)s__and__ms__subProcess(V__S,V__D)
      s__and__ms__containsInformation(V__S,V__SP)
    s__and__ms__containsInformation(V__C,V__CP)
  s__and__ms__refers(V__CP,V__SP)
s__and__m(s__not__ms__consistent(V__CS,V__SP)))))))
)

Mid-level-ontology.kif 27862-27874
( ! [V__CAST] :
   (s__instance(V__CAST,s__DramaticCast)s__=>(s__exists__m[V__TEXT,V__PROP,V__PROC] :
       (s__instance(V__PROP,s__Proposition)s__and__ms__instance(V__PROC,s__Process)s__and__m(s__instance(V__TEXT,s__FictionalText)s__and__ms__containsInformation(V__TEXT,V__PROP)
      s__and__ms__realization(V__PROC,V__PROP)
    s__and__m(s__forall__m[V__MEMBER] :
     (s__instance(V__MEMBER,s__Agent)s__=>(s__member(V__MEMBER,V__CAST)
      s__=>(s__exists__m[V__SUB] :
         (s__instance(V__SUB,s__DramaticActing)s__and__ms__agent(V__SUB,V__MEMBER)
        s__and__ms__subProcess(V__SUB,V__PROC))))))))))
)

Mid-level-ontology.kif 13623-13637
( ! [V__CONPLANwithTPFDD] :
   (s__instance(V__CONPLANwithTPFDD,s__CONPLANwithTPFDD)s__=>(s__exists__m[V__CBO] :
       (s__instance(V__CBO,s__TPFDDFile)s__and__ms__containsInformation(V__CBO,V__CONPLANwithTPFDD))))
)

MilitaryProcesses.kif 1591-1596

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 1202-1209 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 916-924 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 1069-1078 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 1129-1141 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