exists |
appearance as argument number 2 |
(termFormat EnglishLanguage exists "exists") | domainEnglishFormat.kif 65827-65827 |
antecedent |
consequent |
statement |
(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 | 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(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 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | 有目的 iBookstore and ?D 例 ?D and 下載 儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T |
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))) |
Merge.kif 6100-6107 | GraphPath GraphPath 例 GraphPath and 切集 Graph 例 GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger |
appearance as argument number 0 |