containsInformation |
appearance as argument number 1 |
![]() |
(documentation containsInformation ChineseLanguage "这是 represents 的子类别。这个术语把 ContentBearingPhysical 和这个 ContentBearingPhysical 所表达的 Proposition 联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。") | chinese_format.kif 1648-1650 | |
(documentation containsInformation 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 1370-1374 | |
(documentation containsInformation JapaneseLanguage "represents の下位関係。 この述語は、 ContentBearingPhysical を Proposition に関し、ContentBearingPhysical で表現される。 例として、物理的な小説とその物語の間の関係や、印刷されたスコアとその音楽コンテンツの関係など。") | japanese_format.kif 234-236 | |
(documentation containsInformation SpanishLanguage "Una subrelación de represents. Este predicado relaciona ContentBearingPhysical a la Proposition que se expresa el ContentBearingPhysical. Por ejemplo, las relaciones entre una novela física y su historia, la partitura y su contenido musical.") | spanish_format.kif 276-279 | |
(domain containsInformation 1 ContentBearingPhysical) | Merge.kif 1367-1367 | Le nombre 1 argument de containsInformation est une instance de ContentBearingPhysical |
(domain containsInformation 2 Proposition) | Merge.kif 1368-1368 | Le nombre 2 argument de containsInformation est une instance de proposition |
(instance containsInformation AsymmetricRelation) | Merge.kif 1365-1365 | containsInformation est une instance de relation asym�trique |
(instance containsInformation BinaryPredicate) | Merge.kif 1364-1364 | containsInformation est une instance de pr�dicat binaire |
(relatedInternalConcept containsInformation containsFormula) | Merge.kif 1379-1379 | containsInformation est reli� � l'int�rieur de SUMO � containsFormula |
(subrelation containsInformation represents) | Merge.kif 1366-1366 | containsInformation est une sous-relation de represents |
appearance as argument number 2 |
![]() |
(format ChineseLanguage containsInformation "%1 %n{doesn't} contains %2 的资料") | chinese_format.kif 81-81 | |
(format EnglishLanguage containsInformation "%1 %n{doesn't} contain%p{s} information %2") | english_format.kif 81-81 | |
(format FrenchLanguage containsInformation "%1 %n{ne} contient %n{pas} information %2") | french_format.kif 65-65 | |
(format ItalianLanguage containsInformation "%1 %n{non} contiene%p{s} informazione %2") | relations-it.txt 57-57 | |
(format JapaneseLanguage containsInformation "%1 は %2 の情報を contain%p{s} %n{ない}") | japanese_format.kif 1889-1889 | |
(format PortugueseLanguage containsInformation "%1 %n{nao} contem %n informacao %2") | portuguese_format.kif 17-17 | |
(format cb containsInformation "%1 %n naay nahibaw-an %2") | relations-cb.txt 91-91 | |
(format cz containsInformation "%1 %n{doesn't} contain%p{s} information %2") | relations-cz.txt 71-71 | |
(format de containsInformation "%1 enthaelt Informationen ueber %2") | relations-de.txt 92-92 | |
(format hi containsInformation "%2 kii jaanakaarii %1 men %n{nahiin} hai") | relations-hindi.txt 98-98 | |
(format ro containsInformation "%1 %n{nu} contain%t{conþine} informaþie %2") | relations-ro.kif 84-84 | |
(format sv containsInformation "%1 innehåller %n{inte} informationen %2") | relations-sv.txt 64-64 | |
(format tg containsInformation "%1 %n may kaalaman %2") | relations-tg.txt 130-130 | |
(relatedInternalConcept ContentBearingObject containsInformation) | Merge.kif 1339-1339 | Objet exprimant un sens est reli� � l'int�rieur de SUMO � containsInformation |
(relatedInternalConcept realization containsInformation) | Merge.kif 4628-4628 | realization est reli� � l'int�rieur de SUMO � containsInformation |
(subrelation accountInformation containsInformation) | ComputingBrands.kif 4404-4404 | accountInformation est une sous-relation de containsInformation |
(subrelation programCopy containsInformation) | QoSontology.kif 744-744 | programCopy est une sous-relation de containsInformation |
(termFormat ChineseLanguage containsInformation "包含信息") | chinese_format.kif 82-82 | programCopy est une sous-relation de containsInformation |
(termFormat ChineseTraditionalLanguage containsInformation "包含信息") | domainEnglishFormat.kif 16946-16946 | programCopy est une sous-relation de containsInformation |
(termFormat EnglishLanguage containsInformation "contains information") | domainEnglishFormat.kif 16945-16945 | programCopy est une sous-relation de containsInformation |
(termFormat de containsInformation "enthaeltInformationen") | terms-de.txt 25-25 | programCopy est une sous-relation de containsInformation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 19773-19790 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |
appearance as argument number 0 |
![]() |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1203-1210 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
(containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 885-893 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1054-1065 | ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1122-1136 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
![]() |
![]() |