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 | OggettoSemiotico è interamente correlato a containsInformation |
(relatedInternalConcept realization containsInformation) | Merge.kif 4600-4600 | realization è interamente correlato a containsInformation |
(subrelation accountInformation containsInformation) | ComputingBrands.kif 4409-4409 | accountInformation è una sottorelazione di containsInformation |
(subrelation programCopy containsInformation) | QoSontology.kif 635-635 | programCopy è una sottorelazione di containsInformation |
(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 18202-18219 | decreasesLikelihood ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un' istanza di PaperShredder ?CUT è un' istanza di Tagliare ?X è uno strumento per ?CUT ?PAPER è un' istanza di Paper ?PAPER è un paziente di ?CUT ?CBO è localizzato in ?PAPER ?CBO è un' istanza di VisualContentBearingObject ?CBO contienes informazione ?INFO and ?READ ?READ è un' istanza di Interpreting ?INFO è un paziente di ?READ il tempo di esistenza di ?CUT accades prima di il tempo di esistenza di ?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 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
|