(<=>
(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 23060-23075 |
cousin 人[人間] and 人[人間] Woman Man grandmother 人[人間] and Woman grandfather 人[人間] and Man grandmother 人[人間] and Woman grandfather 人[人間] and Man 物 物 物 は 人[人間] の mother では %n 物 は 人[人間] の father では %n 物 は 人[人間] の mother では %n 物 は 人[人間] の father では %n |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD)) |
Economy.kif 3648-3650 |
currencyExchangePerUSDollar 通貨測定 and 時間間隔 currencyExchangeRateInPeriod UnitedStatesDollar, 通貨測定 and 時間間隔 |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3661-3666 |
currencyExchangePerUSDollar 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n currencyExchangeRate UnitedStatesDollar and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate ?UNIT ?AMOUNT))))) |
Economy.kif 3668-3673 |
currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n currencyExchangeRate UnitOfCurrency and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(customer ?AGENT1 ?AGENT2)
(exists (?SERVICE)
(and
(instance ?SERVICE FinancialTransaction)
(agent ?SERVICE ?AGENT2)
(destination ?SERVICE ?AGENT1)))) |
Mid-level-ontology.kif 7726-7732 |
customer 認識エージェント and AutonomousAgent 工程 工程 は 金融取引 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない} |
(<=>
(customerRepresentative ?Person1 ?Person2 ?Org)
(exists (?Service)
(and
(instance ?Service FinancialTransaction)
(employs ?Org ?Person1)
(agent ?Service ?Person1)
(destination ?Service ?Person2)))) |
FinancialOntology.kif 3635-3642 |
customerRepresentative 認識エージェント, 認識エージェント and 組織 工程 工程 は 金融取引 の instance では %n 組織 は 認識エージェント を employs %n{ない} 認識エージェント は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない} |
(<=>
(detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
(playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 |
detainedAtTimeInPlace 意識[知覚]を持つ代理(人), 時間位置 and オブジェクト playsRoleInEventOfType 意識[知覚]を持つ代理(人), detainee, 閉じ込め, 時間位置 and オブジェクト |
(<=>
(earthAltitude ?OBJ ?ALT)
(exists (?SEA)
(and
(altitude ?OBJ ?SEA ?ALT)
(surface ?SEA PlanetEarth)))) |
Geography.kif 2781-2786 |
earthAltitude オブジェクト and 長さ測定 自己接続オブジェクト オブジェクト の altitude は 自己接続オブジェクト では %n 自己接続オブジェクト は PlanetEarth の surface では %n |
(<=>
(economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidDonated ?COUNTRY ?AMOUNT))))) |
Economy.kif 2819-2824 |
economicAidDonatedInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n economicAidDonated 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidReceivedNet ?COUNTRY ?AMOUNT))))) |
Economy.kif 2859-2864 |
economicAidReceivedNetInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n economicAidReceivedNet 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2056-2061 |
electricityFractionFromSourceInPeriod 地政学的地域, PowerGeneration, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n electricityFractionFromSource 地政学的地域, PowerGeneration and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(employs ?Org ?Agent)
(exists (?Employment)
(and
(property ?Employment Employment)
(partyToAgreement ?Employment ?Org)
(partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3260-3266 |
Agreement は Agreement を employs %n{ない} 認識エージェント 認識エージェント には attribute Employment %n{ない} partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement |
(<=>
(equal
(MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
(and
(equal ?MALECOUNT
(CardinalityFn
(KappaFn ?MALE
(and
(instance ?MALE Human)
(attribute ?MALE Male)
(inhabits ?MALE ?AREA)))))
(equal ?FEMALECOUNT
(CardinalityFn
(KappaFn ?FEMALE
(and
(instance ?FEMALE Human)
(attribute ?FEMALE Female)
(inhabits ?FEMALE ?AREA)))))
(equal
(DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 206-223 |
MaleToFemaleRatioFn 地政学的地域 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 整数 は 実数 と equal では %n |
(<=>
(equal ?SD
(StandardDeviationFn ?L))
(equal ?SD
(SquareRootFn
(VarianceFn ?L)))) |
Weather.kif 1504-1509 |
実数 は StandardDeviationFn リスト と equal では %n 実数 は VarianceFn リスト の squareRoot と equal では %n |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Weather.kif 1698-1704 |
関数量 は 実数 の MilesPerHour(s) と equal では %n 関数量 は 1 の HourDuration(s) per 実数 の Mile(s) と equal では %n |
(<=>
(ethnicityPercentInRegion ?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 1547-1558 |
ethnicityPercentInRegion 民族, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して %n 物理 は 民族 の member では %n 物理 は コレクション の member では %n memberCount コレクション and 実数1 物理2 は 地理的地域 に located して %n 物理2 は コレクション の member では %n memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では %n |
(<=>
(exists (?Period)
(and
(instance ?Loan Loan)
(agreementPeriod ?Loan ?Period)
(interestEarned ?Loan ?Amount ?Period)))
(loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3920-3926 |
時間間隔 Loan は Loan の instance では %n agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest |
(<=>
(exists (?Process)
(programRunning ?Process ?Program))
(property ?Program Executable)) |
QoSontology.kif 989-992 |
ComputerProcess programRunning ComputerProcess and コンピュータープログラム コンピュータープログラム には attribute Executable %n{ない} |
(<=>
(exists (?Rate)
(fixedInterestRate ?Account ?Rate))
(instance ?Account FixedRateAccount)) |
FinancialOntology.kif 981-984 |
数 fixedInterestRate FinancialAccount and 数 FinancialAccount は FixedRateAccount の instance では %n |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3051-3062 |
FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n outOfTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3002-3013 |
FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では %n inTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option Option)
(underlier ?Option ?Stock)
(price ?Stock ?StockPrice ?Time)
(strikePrice ?Option ?StrikePrice)
(equal ?StockPrice ?StrikePrice)))
(atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 |
FinancialInstrument FinancialInstrumentPrice and 通貨測定 Agreement は Option の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は 通貨測定 と equal では %n atTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3015-3026 |
FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n inTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3064-3075 |
FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and AutonomousAgent |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2549-2554 |
exportPartnerByFractionInPeriod 地政学的地域, 地政学的地域, 正の実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n exportPartnerByFraction 地政学的地域, 地政学的地域 and 正の実数 は 時間位置 の during holds %n{ない} |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |