containsInformation |
appearance as argument number 1 |
![]() |
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 1329-1329 | コンテンツベアリングオブジェクト は containsInformation に internally 関連して %n |
(relatedInternalConcept realization containsInformation) | Merge.kif 4586-4586 | realization は containsInformation に internally 関連して %n |
(subrelation accountInformation containsInformation) | ComputingBrands.kif 4407-4407 | accountInformation は containsInformation の subrelation では %n |
(subrelation programCopy containsInformation) | QoSontology.kif 635-635 | programCopy は containsInformation の subrelation では %n |
(termFormat ChineseLanguage containsInformation "包含信息") | chinese_format.kif 82-82 | |
(termFormat ChineseTraditionalLanguage containsInformation "包含信息") | domainEnglishFormat.kif 16937-16937 | |
(termFormat EnglishLanguage containsInformation "contains information") | domainEnglishFormat.kif 16936-16936 | |
(termFormat de containsInformation "enthaeltInformationen") | terms-de.txt 25-25 | |
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 18112-18129 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では %n ?CUT は 切断 の instance では %n ?X は ?CUT の instrument では %n ?PAPER は Paper の instance では %n ?PAPER は ?CUT の patient では %n ?CBO は ?PAPER に located して %n ?CBO は VisualContentBearingObject の instance では %n ?CBO は ?INFO の情報を contains %n{ない} は ?READ ?READ は Interpreting の instance では %n ?INFO は ?READ の patient では %n ?CUT の time の existence は ?READ の time の existence より earlier happens %n{ない} を decreases 可能性がある |
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 1241-1248 | ?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 923-931 | ?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 1092-1103 | ?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 1160-1174 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
![]() |
![]() |