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 1396-1398
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 1391-1395
s__domain(s__containsInformation__m,1,s__ContentBearingPhysical)

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

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

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

Merge.kif 1386-1386 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 1388-1388 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__format(s__FrenchLanguage,s__containsInformation__m,'%1 %n{ne} contient %n{pas} information %2')

french_format.kif 65-65
s__format(s__ItalianLanguage,s__containsInformation__m,'%1 %n{non} contiene%p{s} informazione %2')

relations-it.txt 57-57
s__format(s__PortugueseLanguage,s__containsInformation__m,'%1 %n{nao} contem %n informacao %2')

portuguese_format.kif 17-17
s__format(s__ar__m,s__containsInformation__m,'%1 %n{لا} يَتَضَمَّن مَعْلُومَات %2')

arabic_format.kif 15-15
s__format(s__cb__m,s__containsInformation__m,'%1 %n naay nahibaw-an %2')

relations-cb.txt 91-91
s__format(s__cz__m,s__containsInformation__m,'%1 %n{doesnt} contain%p{s} information %2')

relations-cz.txt 71-71
s__format(s__de__m,s__containsInformation__m,'%1 enthaelt Informationen ueber %2')

relations-de.txt 92-92
s__format(s__hi__m,s__containsInformation__m,'%2 kii jaanakaarii %1 men %n{nahiin} hai')

relations-hindi.txt 98-98
s__format(s__tg__m,s__containsInformation__m,'%1 %n may kaalaman %2')

relations-tg.txt 130-130
s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)

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

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

QoSontology.kif 616-616 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
s__termFormat(s__ar__m,s__containsInformation__m,'«يَتَضَمَّن مَعْلُومَات»')

arabic_format.kif 465-465 "«يَتَضَمَّن مَعْلُومَات»" is the printable form of contains information in ar
s__termFormat(s__tg__m,s__containsInformation__m,'may kaalaman')

relations-tg.txt 131-131 "may kaalaman" is the printable form of contains information in tg

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


No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 175-181
No TPTP formula. May not be expressible in strict first order. Government.kif 760-766
( ! [V__C,V__A,V__P] :
   ((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__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 27730-27744
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
( ! [V__DOC,V__PROP] :
   ((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
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 285-290
( ! [V__EVENT,V__CBO,V__INFO] :
   ((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 1495-1501
( ! [V__PLAN,V__CBO,V__EVENT] :
   ((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 1503-1509
( ! [V__PLAN,V__CBO,V__OP] :
   ((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 1541-1548
( ! [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 17042-17050
( ! [V__PLANNING,V__CBO,V__INFO] :
   ((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 1780-1786
( ! [V__PROP,V__CBO,V__COMM] :
   ((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 2871-2878
( ! [V__PROP,V__CBO,V__ER] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(V__CBO,s__ContentBearingObject) &
       s__containsInformation(V__CBO,V__PROP)
     &
     s__instance(V__ER,s__ExpenseReport) &
     s__patient(V__ER,V__CBO))
=>
s__represents(V__ER,V__PROP))
)

TravelPolicies.kif 617-624
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 929-937
( ! [V__SF,V__SS,V__A,V__I,V__FAST,V__SLOW] :
   ((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 1914-1924
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285

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


( ! [V__PROP,V__ATTR,V__AGREEMENT,V__AGENT] :
   (s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT)
   =>
   ((? [V__CLAUSE] :
       s__containsInformation(V__CLAUSE,V__PROP))
   &
   s__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 17088-17097
( ! [V__C,V__A,V__P] :
   ((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__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 27730-27744
No TPTP formula. May not be expressible in strict first order. Merge.kif 12582-12594
( ! [V__EVENT,V__CBO] :
   ((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 10749-10757
No TPTP formula. May not be expressible in strict first order. Merge.kif 10775-10782
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2144-2154
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2132-2142
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 849-861
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 832-844
( ! [V__PLAN,V__PROC,V__PLANNNG] :
   ((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__PLANNNG,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 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__PROP,V__DOC] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(s__DocumentFn(V__PROP)
    ,s__Text))
   =>
   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 15862-15882
( ! [V__Statement,V__Date] :
   (s__dateOfStatement(V__Statement,V__Date)
   =>
   (? [V__Copy] :
     (s__containsInformation(V__Copy,V__Statement)
     &
     s__date(V__Copy,V__Date))))
)

FinancialOntology.kif 3867-3872
( ! [V__CBP,V__EXPERIMENT,V__EXPERIMENT_REPORT] :
   (s__finalExperimentReport(V__CBP,V__EXPERIMENT)
   =>
   (? [V__RESULT] :
     (s__result(V__EXPERIMENT,V__RESULT)
     &
     s__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) =>
     (? [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 1296-1303
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812
( ! [V__C] :
   (s__instance(V__C,s__Communication) =>
     (? [V__PROP] :
       (s__instance(V__PROP,s__Proposition) &
         s__containsInformation(V__C,V__PROP))))
)

TravelPolicies.kif 102-107

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 an agent, another agent,, , an election and a process contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 916-924 For all a nation, an election,, , a process and a human contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078 For all a nation, a human,, , an election,, , a time duration and another time duration contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141 For all a nation, a human,, , an election,, , a time duration and another time duration 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