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 1322-1322 | コンテンツベアリングオブジェクト は containsInformation に internally 関連して %n |
(relatedInternalConcept realization containsInformation) | Merge.kif 4594-4594 | realization は containsInformation に internally 関連して %n |
(subrelation accountInformation containsInformation) | ComputingBrands.kif 4409-4409 | accountInformation は containsInformation の subrelation では %n |
(subrelation programCopy containsInformation) | QoSontology.kif 741-741 | programCopy は containsInformation の subrelation では %n |
(termFormat ChineseLanguage containsInformation "包含信息") | chinese_format.kif 82-82 | programCopy は containsInformation の subrelation では %n |
(termFormat ChineseTraditionalLanguage containsInformation "包含信息") | domainEnglishFormat.kif 16952-16952 | programCopy は containsInformation の subrelation では %n |
(termFormat EnglishLanguage containsInformation "contains information") | domainEnglishFormat.kif 16951-16951 | programCopy は containsInformation の subrelation では %n |
(termFormat de containsInformation "enthaeltInformationen") | terms-de.txt 25-25 | programCopy は containsInformation の subrelation では %n |
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 19780-19797 | ?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 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
|
![]() |
![]() |