exists |
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 1122-1136 | ?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 19773-19790 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では ?CUT は 切断 の instance では ?X は ?CUT の instrument では ?PAPER は Paper の instance では ?PAPER は ?CUT の patient では ?CBO は ?PAPER に located して ?CBO は VisualContentBearingObject の instance では ?CBO は ?INFO の情報を contains は ?READ ?READ は Interpreting の instance では ?INFO は ?READ の patient では ?CUT の time の existence は ?READ の time の existence より earlier happens を decreases 可能性がある |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3305-3311 | IBookstore は ?D ?D は DownloadingOverNetwork の instance では iBookstore は ?D の instrument では ?T は テキスト の instance では 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 6109-6116 | グラフパス グラフパス グラフパス は グラフ を2つの別々のグラフに分割するパスの set の instance では グラフパス は グラフ を2つの別々のグラフに分割する最小パスの set の instance では グラフパス の length は 正の整数 では グラフパス の length は 正の整数 では 正の整数 は 正の整数 より less では |
appearance as argument number 0 |
![]() |
![]() |
![]() |