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 | Content bearing object is internally related to contains information |
(relatedInternalConcept realization containsInformation) | Merge.kif 4601-4601 | realization is internally related to contains information |
(subrelation accountInformation containsInformation) | ComputingBrands.kif 4409-4409 | account information is a subrelation of contains information |
(subrelation programCopy containsInformation) | QoSontology.kif 635-635 | program copy is a subrelation of contains information |
(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 18229-18246 | There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?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 1205-1212 | For all ?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 887-895 | For all ?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 1056-1067 | For all ?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 1124-1138 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|