(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1912-1917 |
compressionRatio Engine and 実数 minCylinderVolume Engine and 実数 の 測定単位(s) maxCylinderVolume Engine and 測定単位AX の 測定単位(s) equal 実数 and 実数 + 測定単位AX |
(<=>
(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 24702-24717 |
cousin 人［人間］ and 人［人間］ Woman Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man 物 物 物 は 人［人間］ の mother では 物 は 人［人間］ の father では 物 は 人［人間］ の mother では 物 は 人［人間］ の father では |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3998-4003 |
currencyExchangePerUSDollar 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では currencyExchangeRate UnitedStatesDollar and 通貨測定 は 時間位置 の during holds |
(<=>
(currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate ?UNIT ?AMOUNT))))) |
Economy.kif 4005-4010 |
currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では currencyExchangeRate UnitOfCurrency and 通貨測定 は 時間位置 の during holds |
(<=>
(customer ?AGENT1 ?AGENT2)
(exists (?SERVICE)
(and
(instance ?SERVICE FinancialTransaction)
(agent ?SERVICE ?AGENT2)
(destination ?SERVICE ?AGENT1)))) |
Mid-level-ontology.kif 8894-8900 |
customer 認識エージェント and AutonomousAgent 工程 工程 は 金融取引 の instance では AutonomousAgent は 工程 の agent では 工程 は 認識エージェント に ends |
(<=>
(customerRepresentative ?Person1 ?Person2 ?Org)
(exists (?Service)
(and
(instance ?Service FinancialTransaction)
(employs ?Org ?Person1)
(agent ?Service ?Person1)
(destination ?Service ?Person2)))) |
FinancialOntology.kif 3653-3660 |
customerRepresentative 認識エージェント, 認識エージェント and 組織 工程 工程 は 金融取引 の instance では 組織 は 認識エージェント を employs 認識エージェント は 工程 の agent では 工程 は 認識エージェント に ends |
(<=>
(earthAltitude ?OBJ ?ALT)
(exists (?SEA)
(and
(altitude ?OBJ ?SEA ?ALT)
(surface ?SEA PlanetEarth)))) |
Geography.kif 2906-2911 |
earthAltitude オブジェクト and 長さ測定 自己接続オブジェクト オブジェクト の altitude は 自己接続オブジェクト では 自己接続オブジェクト は PlanetEarth の surface では |
(<=>
(economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidDonated ?COUNTRY ?AMOUNT))))) |
Economy.kif 3156-3161 |
economicAidDonatedInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では economicAidDonated 地政学的地域 and 通貨測定 は 時間位置 の during holds |
(<=>
(economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidReceivedNet ?COUNTRY ?AMOUNT))))) |
Economy.kif 3196-3201 |
economicAidReceivedNetInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では economicAidReceivedNet 地政学的地域 and 通貨測定 は 時間位置 の during holds |
(<=>
(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2296-2301 |
electricityFractionFromSourceInPeriod 地政学的地域, PowerGeneration, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では electricityFractionFromSource 地政学的地域, PowerGeneration and 実数 は 時間位置 の during holds |
(<=>
(employs ?EMPLOYER ?EMPLOYEE)
(and
(instance ?EMPLOYER Employer)
(instance ?EMPLOYEE Employee))) |
Economy.kif 1497-1501 |
AutonomousAgent は 認識エージェント を employs AutonomousAgent は Employer の instance では 認識エージェント は Employee の instance では |
(<=>
(employs ?Org ?Agent)
(exists (?Employment)
(and
(property ?Employment Employment)
(partyToAgreement ?Employment ?Org)
(partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3277-3283 |
Agreement は Agreement を employs 認識エージェント 認識エージェント には attribute Employment 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 |
equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal 整数 + 整数 and 実数 |
(<=>
(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 1548-1559 |
ethnicityPercentInRegion 民族, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して 物理 は 民族 の member では 物理 は コレクション の member では memberCount コレクション and 実数1 物理2 は 地理的地域 に located して 物理2 は コレクション の member では memberCount コレクション and 実数2 equal 実数 + 100 and 実数1 + 実数2 |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2789-2794 |
exportPartnerByFractionInPeriod 地政学的地域, 地政学的地域, 正の実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では exportPartnerByFraction 地政学的地域, 地政学的地域 and 正の実数 は 時間位置 の during holds |
(<=>
(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2751-2756 |
exportPartnerByRankInPeriod 地政学的地域, 地政学的地域, 正の整数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では exportPartnerByRank 地政学的地域, 地政学的地域 and 正の整数 は 時間位置 の during holds |
(<=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2627-2632 |
exportPartnerInPeriod AutonomousAgent, AutonomousAgent and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では exportPartner AutonomousAgent and AutonomousAgent は 時間位置 の during holds |
(<=>
(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 3112-3117 |
externalDebtInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では externalDebt 地政学的地域 and 通貨測定 は 時間位置 の during holds |
(<=>
(highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1370-1375 |
highestDecileShareOfHouseholdIncomeInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では highestDecileShareOfHouseholdIncome 地政学的地域 and 実数 は 時間位置 の during holds |
(<=>
(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 32141-32154 |
Alone は エンティティー の attribute では は 時間間隔 の during holds エンティティー2 工程 equal エンティティー and エンティティー2 エンティティー2 は AutonomousAgent の instance では 工程 は 社会的交流 の instance では 工程 の time の existence は 時間間隔 の during に takes 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 32189-32197 |
Mute は AutonomousAgent の attribute では は 時間間隔 の during holds 工程 工程 は Speaking の instance では 工程 の time の existence は 時間間隔 の during に takes AutonomousAgent は 工程 の agent では |
(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 3079-3084 |
importPartnerByFractionInPeriod 地政学的地域, 地政学的地域, 正の実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では importPartnerByFraction 地政学的地域, 地政学的地域 and 正の実数 は 時間位置 の during holds |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 3041-3046 |
importPartnerByRankInPeriod 地政学的地域, 地政学的地域, 正の整数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では importPartnerByRank 地政学的地域, 地政学的地域 and 正の整数 は 時間位置 の during holds |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 3011-3016 |
importPartnerInPeriod AutonomousAgent, AutonomousAgent and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では importPartner AutonomousAgent and AutonomousAgent は 時間位置 の during holds |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1409-1414 |
incomeDistributionByGiniIndexInPeriod 地政学的地域, 非負実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では incomeDistributionByGiniIndex 地政学的地域 and 非負実数 は 時間位置 の during holds |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
