and |
appearance as argument number 2 |
(termFormat ChineseLanguage and "和") | domainEnglishFormat.kif 7410-7410 | |
(termFormat ChineseTraditionalLanguage and "和") | domainEnglishFormat.kif 7409-7409 | |
(termFormat EnglishLanguage and "and") | domainEnglishFormat.kif 7408-7408 |
antecedent |
(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Corporation)) (instance ?Account CorporateAccount)) |
FinancialOntology.kif 1018-1022 | accountHolder FinancialAccount and 認識エージェント 認識エージェント は 法人 の instance では %n FinancialAccount は CorporateAccount の instance では %n |
(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Human)) (instance ?Account PersonalAccount)) |
FinancialOntology.kif 996-1000 | accountHolder FinancialAccount and 認識エージェント 認識エージェント は 人[人間] の instance では %n FinancialAccount は PersonalAccount の instance では %n |
(<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End)) |
FinancialOntology.kif 642-646 | agreementPeriod FinancialAccount and 時間間隔 日 は 時間間隔 を finishes %n{ない} maturityDate FinancialAccount and 日 |
(<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1462-1467 | Aircraft の altitude は 自己接続オブジェクト では %n 自己接続オブジェクト は PlanetEarth の surface では %n Aircraft は Aircraft の instance では %n absoluteHeight Aircraft and AltitudeMeasure |
(<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1))))) |
Merge.kif 4769-4780 | 実数 の absolute value は 非負実数 と equal では %n 実数 は 実数 の instance では %n 非負実数 は 実数 の instance では %n 実数 は 非負実数 の instance では %n 実数 は 非負実数 と equal では %n 実数 は 負の実数 の instance では %n 非負実数 は (0.0 + 実数) と equal では %n |
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2321-2326 | FinancialAccount は FinancialAccount の instance では %n 認識エージェント は FinancialAsset を possesses %n{ない} FinancialAccount は AccountFn FinancialAsset と equal では %n accountHolder FinancialAccount and 認識エージェント |
(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount)) |
FinancialOntology.kif 1007-1011 | エンティティー は PersonalAccount の instance では %n エンティティー class の instances の数 は 1 より greater では %n エンティティー は JointAccount の instance では %n |
(<=> (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 30202-30212 | エンティティー は 体の部分 の 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 12512-12519 | 工程 は 組み合わせ の instance では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n オブジェクト は エンティティー の part では は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %n{ない} |
(<=> (and (instance ?COPY Photocopying) (patient ?COPY ?OBJ1) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO1)) (exists (?OBJ2 ?INFO2) (and (result ?COPY ?OBJ2) (instance ?OBJ2 VisualContentBearingObject) (containsInformation ?OBJ2 ?INFO2) (equal ?INFO1 ?INFO2)))) |
Mid-level-ontology.kif 26362-26373 | 工程 は Photocopying の instance では %n ContentBearingPhysical は 工程 の patient では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical 命題 ContentBearingPhysical は 工程 の result では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 は 命題 と equal では %n |
(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet)) |
Geography.kif 7524-7530 | 自己接続オブジェクト は LiquidDrop の instance では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 500.0 は 実数 より less では %n 自己接続オブジェクト は Droplet の instance では %n |
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10.0 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM)))) |
Geography.kif 7440-7451 | オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10.0 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %n オブジェクト10 は オブジェクト の part では %n |
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM)))) |
Geography.kif 7469-7479 | オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %n オブジェクト25 は オブジェクト の part では %n |
(<=> (and (instance ?SCROLL WindowScrolling) (instance ?SCROLL UserSignifiedGraphicalAction)) (instance ?SCROLL WindowScrollingByUser)) |
ComputerInput.kif 1789-1793 | エンティティー は WindowScrolling の instance では %n エンティティー は UserSignifiedGraphicalAction の instance では %n エンティティー は WindowScrollingByUser の instance では %n |
(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1818-1828 | 工程 は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程 は CurrencyFn FinancialAccount から originates %n{ない} 工程 工程 は Penalty の instance では %n 工程 は CurrencyFn FinancialAccount に ends %n{ない} 工程 は 工程 を causes %n{ない} liquidity FinancialAccount and HighLiquidity |
(<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 2663-2673 | エンティティー は 地域 の instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置 の during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置 の 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 357-390 | 年 は 年EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 82-97 | 年 は 整数 year 目 の instance では %n BirthsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n PopulationFn 地政学的地域 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 118-133 | 年 は 整数 year 目 の instance では %n DeathsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n PopulationFn 地政学的地域 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 238-264 | 年 は 整数 year 目 の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 年 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=> (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 403-436 | 年 は 整数 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 310-342 | 年 は 整数 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 156-187 | 年 は 整数 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 |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 52-64 | 年 は 整数 year 目 の instance では %n PopulationGrowthFn 地政学的地域 and 年 は 実数 と equal では %n ( 整数 + 整数P) は 1 と equal では %n 時間位置 は 整数P year 目 の instance では %n PopulationFn 地政学的地域 は 実数 と equal では %n は 年 の during holds %n{ない} PopulationFn 地政学的地域 は 実数 と equal では %n は 時間位置 の during holds %n{ない} 実数 + 実数 は 実数 と equal では %n ( 実数 + 1) は 実数 と equal では %n |
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 24847-24852 | PostalPlace は PostcodeArea に located して %n PostalPlace は PostalPlace の instance では %n PostcodeArea は PostcodeArea の instance では %n postPostcodeArea PostalPlace and PostcodeArea |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
(<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1))))) |
Merge.kif 4769-4780 | 実数 の absolute value は 非負実数 と equal では %n 実数 は 実数 の instance では %n 非負実数 は 実数 の instance では %n 実数 は 非負実数 の instance では %n 実数 は 非負実数 と equal では %n 実数 は 負の実数 の instance では %n 非負実数 は (0.0 + 実数) と equal では %n |
(<=> (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 30202-30212 | エンティティー は 体の部分 の 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 12512-12519 | 工程 は 組み合わせ の instance では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n オブジェクト は エンティティー の part では は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %n{ない} |
(<=> (and (instance ?COPY Photocopying) (patient ?COPY ?OBJ1) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO1)) (exists (?OBJ2 ?INFO2) (and (result ?COPY ?OBJ2) (instance ?OBJ2 VisualContentBearingObject) (containsInformation ?OBJ2 ?INFO2) (equal ?INFO1 ?INFO2)))) |
Mid-level-ontology.kif 26362-26373 | 工程 は Photocopying の instance では %n ContentBearingPhysical は 工程 の patient では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical 命題 ContentBearingPhysical は 工程 の result では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 は 命題 と equal では %n |
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10.0 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM)))) |
Geography.kif 7440-7451 | オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10.0 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %n オブジェクト10 は オブジェクト の part では %n |
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM)))) |
Geography.kif 7469-7479 | オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %n オブジェクト25 は オブジェクト の part では %n |
(<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 2663-2673 | エンティティー は 地域 の instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置 の during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置 の 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 357-390 | 年 は 年EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 82-97 | 年 は 整数 year 目 の instance では %n BirthsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n PopulationFn 地政学的地域 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 118-133 | 年 は 整数 year 目 の instance では %n DeathsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n PopulationFn 地政学的地域 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 238-264 | 年 は 整数 year 目 の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 年 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=> (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 403-436 | 年 は 整数 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 310-342 | 年 は 整数 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 156-187 | 年 は 整数 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 |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 52-64 | 年 は 整数 year 目 の instance では %n PopulationGrowthFn 地政学的地域 and 年 は 実数 と equal では %n ( 整数 + 整数P) は 1 と equal では %n 時間位置 は 整数P year 目 の instance では %n PopulationFn 地政学的地域 は 実数 と equal では %n は 年 の during holds %n{ない} PopulationFn 地政学的地域 は 実数 と equal では %n は 時間位置 の during holds %n{ない} 実数 + 実数 は 実数 と equal では %n ( 実数 + 1) は 実数 と equal では %n |
(<=> (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1517-1522 | annualExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=> (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualRevenuesOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1488-1493 | annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 15027-15031 | LiteracyAttribute は AutonomousAgent の attribute では %n AutonomousAgent は 読み をする skill が %n{ない} AutonomousAgent は 執筆 をする skill が %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 744-755 | 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 4711-4720 | OpenSea は オブジェクト の attribute では %n 物理 実数 オブジェクト は 塩水地域 の instance では %n オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では %n 実数 は 5.0 より greater では %n |
(<=> (aunt ?A ?H) (exists (?P) (and (sister ?A ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 23098-23103 | aunt Woman and 人[人間] 人[人間] sister Woman and 人[人間] 人[人間] は 人[人間] の parent では %n |
(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2 ?LASTPLACE) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE))))) |
People.kif 272-293 | average リスト and 実数 リスト 正の整数 リスト の length は リスト の length と equal では %n リスト の 1th element は リスト の 1th element と equal では %n 正の整数
|
(<=> (bankAccount ?AccountType ?Bank) (exists (?Account) (and (instance ?Account ?AccountType) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 3943-3948 | bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount は FinancialAccount の instance では %n accountAt FinancialAccount and BankFinancialOrganization |
(<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1528-1539 | beliefGroupPercentInRegion BeliefGroup, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して %n 物理 は BeliefGroup の member では %n 物理 は コレクション の member では %n memberCount コレクション and 実数1 物理2 は 地理的地域 に located して %n 物理2 は コレクション の member では %n memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では %n |
(<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1565-1570 | capitalExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n capitalExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 456-469 | 年 は 整数 year 目 の instance では %n ChildrenBornPerWomanFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |
(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 | ?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 | ?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 | ?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 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 921-929 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE は ?SUBSTANCE の instance では %n ?THERAPY は ?PROCESS の instance では %n ?ORGANISM が ?THERAPY を experiences %n{ない} ?SAMPLE は ?THERAPY の patient では %n は ?SYMPTOM は ?ORGANISM の attribute では %n を decreases 可能性がある |
(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 は PaperShredder の instance では %n ?CUT は 切断 の instance では %n ?X は ?CUT の instrument では %n ?PAPER は Paper の instance では %n ?PAPER は ?CUT の patient では %n ?CBO は ?PAPER に located して %n ?CBO は VisualContentBearingObject の instance では %n ?CBO は ?INFO の情報を contains %n{ない} は ?READ ?READ は Interpreting の instance では %n ?INFO は ?READ の patient では %n ?CUT の time の existence は ?READ の time の existence より earlier happens %n{ない} を decreases 可能性がある |
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 863-872 | AvailableForMilitaryServiceMaleFn 地政学的地域 は エンティティー class の instances の数 と equal では %n |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 886-897 | FitForMilitaryServiceMaleFn 地政学的地域 は エンティティー class の instances の数 と equal では %n |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31766-31771 | OrganismPopulationFn 物 and 地理的地域 は 物Iで記述される class の instances の数 と equal では %n |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 31744-31749 | PopulationFn 地政学的地域 は エンティティー class の instances の数 と equal では %n |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 924-937 | ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |
(exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture))) |
Medicine.kif 4559-4564 | 工程 エンティティー 工程 は 普及 の instance では %n Netflix は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー は 映画 の instance では %n |
(exists (?FM) (and (instance ?FM FilmMaking) (agent ?FM Netflix))) |
Medicine.kif 4566-4569 | 工程 工程 は FilmMaking の instance では %n Netflix は 工程 の agent では %n |
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4590-4593 | 認識エージェント NewReporter は 認識エージェント の attribute では %n ProPublica は 認識エージェント を employs %n{ない} |
(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | 時間位置 時間位置 は 1976 year 目 の instance では %n coworker スティーブ・ジョブズ氏 and スティーブ・ウオズニアック氏 は 時間位置 の during holds %n{ない} |
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | 時間位置 時間位置 は 2002 year 目 の instance では %n coworker スティーブ・ジョブズ氏 and ティム・クック氏 は 時間位置 の during holds %n{ない} |
(exists (?T) (and (subclass ?T HandToolBox) (manufacturer ?T SortimoCorp))) |
Cars.kif 5094-5097 | オブジェクト オブジェクト は HandToolBox の subclass では %n manufacturer オブジェクト and SortimoCorp |
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1970-1978 | 時間間隔 時間間隔 は 時間間隔 の instance では %n 時間間隔 は JesusOfNazareth の time の existence を finishes %n{ない} 時間間隔 は TwelveApostles の time の existence を starts %n{ない} エンティティー
|
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore は ?D ?D は DownloadingOverNetwork の instance では %n iBookstore は ?D の instrument では %n ?T は テキスト の instance では %n objectTransferred ?D and ?T の 目的 %n{ない} |
(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2501-2504 | Serbia は EuropeanNation の instance では %n 時間位置 は 5 day 目 の instance では %n は 時間位置 の after の during holds %n{ない} |
(holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2496-2499 | Serbia は IndependentState の instance では %n 時間位置 は 5 day 目 の instance では %n は 時間位置 の after の during holds %n{ない} |
(holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2506-2509 | Serbia は "Republic of Serbia" の name を 持って %n{ない} 時間位置 は 5 day 目 の instance では %n は 時間位置 の after の during holds %n{ない} |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))) |
Media.kif 2528-2531 | 時間位置 は 3 day 目 の instance では %n Montenegro は EuropeanNation の instance では %n は 時間位置 の after の during holds %n{ない} |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState))) |
Media.kif 2523-2526 | 時間位置 は 3 day 目 の instance では %n Montenegro は IndependentState の instance では %n は 時間位置 の after の during holds %n{ない} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 456-469 | 年 は 整数 year 目 の instance では %n ChildrenBornPerWomanFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |