not |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage not "不") | domainEnglishFormat.kif 41295-41295 | |
(termFormat ChineseTraditionalLanguage not "不") | domainEnglishFormat.kif 41294-41294 | |
(termFormat EnglishLanguage not "not") | domainEnglishFormat.kif 41293-41293 |
antecedent |
![]() |
consequent |
![]() |
(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B)))))) |
Mid-level-ontology.kif 30079-30089 | エンティティー は 体の部分 の instance では %n Bare は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n covers エンティティー and エンティティー は 時間位置 の during holds %n{ない} |
(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 12436-12443 | 工程 は 組み合わせ の instance では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n オブジェクト は エンティティー の part では は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %n{ない} |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 383-416 | 年 は 年EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 429-462 | 年 は 整数 year 目 の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 336-368 | 年 は 整数 year 目 の instance では %n LifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 182-213 | 年 は 整数 year 目 の instance では %n MigrantsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n ( 整数 + 整数) は 1 と equal では %n エンティティー は 整数 year 目 の instance では %n PopulationFn 地政学的地域 は 実数 と equal では %n は 年 の during holds %n{ない} 実数 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n ( 整数 + 整数) は 実数 と equal では %n 実数 + 実数 は 実数 と equal では %n |
(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC)))) |
Mid-level-ontology.kif 723-734 | PolyphonicMusic は オブジェクト の attribute では %n 工程 工程 オブジェクト は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は オブジェクト% の subprocess では %n 工程 は オブジェクト% の subprocess では %n 工程 は 工程 と equal では 工程 は オブジェクト と同時に occurs %n{ない} 工程 は オブジェクト と同時に occurs %n{ない} |
(<=> (attribute ?WATER OpenSea) (exists (?LAND ?DIST) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5.0)))) |
Geography.kif 4689-4698 | OpenSea は オブジェクト の attribute では %n 物理 実数 オブジェクト は 塩水地域 の instance では %n オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では %n 実数 は 5.0 より greater では %n |
(<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F)))))) |
Mid-level-ontology.kif 23012-23027 | cousin 人[人間] and 人[人間] Woman Man grandmother 人[人間] and Woman grandfather 人[人間] and Man grandmother 人[人間] and Woman grandfather 人[人間] and Man 物 物 物 は 人[人間] の mother では %n 物 は 人[人間] の father では %n 物 は 人[人間] の mother では %n 物 は 人[人間] の father では %n |
(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S)))))) |
Mid-level-ontology.kif 30033-30041 | Barefoot は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は Shoe の instance では %n エンティティー は % を wears %n{ない} は 時間位置 の during holds %n{ない} |
(<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 30046-30054 | Naked は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n エンティティー は % を wears %n{ない} は 時間位置 の during holds %n{ない} |
(<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 AutonomousAgent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 30124-30137 | Alone は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} エンティティー2 工程 エンティティー は エンティティー2 と equal では エンティティー2 は AutonomousAgent の instance では %n 工程 は 社会的交流 の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー2 |
(<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P))))) |
Mid-level-ontology.kif 30172-30180 | Mute は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 工程 は Speaking の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} AutonomousAgent は 工程 の agent では %n |
(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS)))) |
Mid-level-ontology.kif 6450-6460 | エンティティー は ConjugatedSubstance の instance では %n オブジェクト オブジェクト and 工程 オブジェクト は 合成物質 の instance では %n オブジェクト は 合成物質 の instance では %n オブジェクト は オブジェクト と equal では 工程 は 化学合成 の instance では %n オブジェクト は 工程 の resource では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n |
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) |
Transportation.kif 294-306 | lengthOfUnclassifiedGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (manner ?P Harmless) (and (not (instance ?P Damaging)) (not (exists (?P2) (and (instance ?P2 Damaging) (subProcess ?P2 ?P)))) (not (exists (?P2) (and (instance ?P2 Damaging) (causes ?P ?P2)))))) |
Mid-level-ontology.kif 30197-30211 | 工程 は Harmless の方法で実行され %n 工程 は 損害を与える の instance では 工程2 工程2 は 損害を与える の instance では %n 工程2 は 工程% の subprocess では %n 工程2 工程2 は 損害を与える の instance では %n 工程 は 工程2 を causes %n{ない} |
(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13821-13828 | ステートメント 公式 には Legal の modal force が ある 公式 ステートメント 公式 には Law の modal force が ある consistent 公式 and 公式 |
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
Merge.kif 17387-17389 | ステートメント 公式 には Necessity の modal force が ある ステートメント 公式 には Possibility の modal force が ない %p{ある} |
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17450-17452 | ステートメント 公式 には Obligation の modal force が ある ステートメント 公式 には Permission の modal force が ない %p{ある} |
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17486-17488 | ステートメント 公式 には Prohibition の modal force が ある ステートメント 公式 には Permission の modal force が ない %p{ある} |
(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9091-9094 | オブジェクト は Outside 対 オブジェクト では %n オブジェクト は partly に オブジェクト に 位置して |
(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23103-23110 | stepfather 人[人間] and Man 人[人間] 人[人間] は 人[人間] の mother では %n spouse Man and 人[人間] Man は 人[人間] の father では |
(<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23120-23127 | stepmother 人[人間] and Woman 人[人間] 人[人間] は 人[人間] の father では %n spouse Woman and 人[人間] Woman は 人[人間] の mother では |
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 14062-14069 | |
(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 14026-14029 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))) |
Media.kif 2546-2550 | 時間位置 は 3 day 目 の instance では %n SerbiaAndMontenegro は IndependentState の instance では は 時間位置 の after の during holds %n{ない} |
appearance as argument number 0 |
![]() |
![]() |
![]() |