(<=>
(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 7727-7733 |
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{ない} |
(<=>
(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{ない} |
(<=>
(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 |
(<=>
(exists (?Rate)
(fixedInterestRate ?Account ?Rate))
(instance ?Account FixedRateAccount)) |
FinancialOntology.kif 981-984 |
数 fixedInterestRate FinancialAccount and 数 FinancialAccount は FixedRateAccount の instance では %n |
(<=>
(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{ない} |
(<=>
(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2511-2516 |
exportPartnerByRankInPeriod 地政学的地域, 地政学的地域, 正の整数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n exportPartnerByRank 地政学的地域, 地政学的地域 and 正の整数 は 時間位置 の during holds %n{ない} |
(<=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2387-2392 |
exportPartnerInPeriod AutonomousAgent, AutonomousAgent and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n exportPartner AutonomousAgent and AutonomousAgent は 時間位置 の during holds %n{ない} |
(<=>
(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2775-2780 |
externalDebtInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n externalDebt 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1279-1284 |
highestDecileShareOfHouseholdIncomeInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n highestDecileShareOfHouseholdIncome 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(holdsDuring ?T
(attribute ?A Barefoot))
(holdsDuring ?T
(not
(exists (?S)
(and
(instance ?S Shoe)
(wears ?A ?S)))))) |
Mid-level-ontology.kif 30132-30140 |
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 30145-30153 |
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 30223-30236 |
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 30271-30279 |
Mute は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 工程 は Speaking の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} AutonomousAgent は 工程 の agent では %n |
(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2742-2747 |
importPartnerByFractionInPeriod 地政学的地域, 地政学的地域, 正の実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n importPartnerByFraction 地政学的地域, 地政学的地域 and 正の実数 は 時間位置 の during holds %n{ない} |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2704-2709 |
importPartnerByRankInPeriod 地政学的地域, 地政学的地域, 正の整数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n importPartnerByRank 地政学的地域, 地政学的地域 and 正の整数 は 時間位置 の during holds %n{ない} |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2674-2679 |
importPartnerInPeriod AutonomousAgent, AutonomousAgent and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n importPartner AutonomousAgent and AutonomousAgent は 時間位置 の during holds %n{ない} |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod 地政学的地域, 非負実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n incomeDistributionByGiniIndex 地政学的地域 and 非負実数 は 時間位置 の during holds %n{ない} |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n industrialProductionGrowthRate 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 |
オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Female は オブジェクト の attribute では %n |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Male))) |
Mid-level-ontology.kif 20218-20222 |
オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Male は オブジェクト の attribute では %n |
(<=>
(instance ?BONE Bone)
(exists (?SKELETON)
(and
(or
(instance ?SKELETON Skeleton)
(instance ?SKELETON Exoskeleton))
(part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11682-11689 |
オブジェクト は 骨 の instance では %n オブジェクト オブジェクト は Skeleton の instance では %n オブジェクト は Exoskeleton の instance では %n オブジェクト は オブジェクト の part では %n |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
