| appearance as argument number 1 |
|
| (documentation holdsDuring ChineseLanguage "(holdsDuring ?TIME ?FORMULA) 的意思是 由 ?FORMULA 表示的命题在 ?TIME时段是事实。注：这意味着 ?FORMULA 在每一个 TimePoint 都是真的， TimePoint 是 ?TIME 一个的 temporalPart。") | Merge.kif 5853-5855 | |
| (documentation holdsDuring EnglishLanguage "(holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME.") | Merge.kif 5848-5851 | |
| (documentation holdsDuring JapaneseLanguage "(holdsDuring ?TIME ?FORMULA) とは、?FORMULA で示される命題が時間枠 ?TIME に当てはまることを意味する。 注：これは、?FORMULA が temporalPart であるすべての?TIMEの TimePoint に当てはまることを意味する。") | Merge.kif 5857-5859 | |
| (domain holdsDuring 1 TimePosition) | Merge.kif 5845-5845 | holdsDuring の数値 1 引数は 時間位置 の instance では %n |
| (domain holdsDuring 2 Formula) | Merge.kif 5846-5846 | holdsDuring の数値 2 引数は 公式 の instance では %n |
| (instance holdsDuring AsymmetricRelation) | Merge.kif 5844-5844 | holdsDuring は 非対称関係 の instance では %n |
| (instance holdsDuring BinaryPredicate) | Merge.kif 5843-5843 | holdsDuring は 2進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage holdsDuring "%2 %n{doesn't} 在 %1 holdsDuring") | chinese_format.kif 121-121 | |
| (format EnglishLanguage holdsDuring "%2 %n{doesn't} hold%p{s} during %1") | english_format.kif 156-156 | |
| (format JapaneseLanguage holdsDuring "%2 は %1 の during hold%p{s} %n{ない}") | english_format.kif 157-157 | |
| (relatedInternalConcept time holdsDuring) | Merge.kif 5822-5822 | time は holdsDuring に internally 関連して %n |
| (termFormat ChineseLanguage holdsDuring "在这段时间为真") | chinese_format.kif 122-122 | termFormat ChineseLanguage, holdsDuring and "在这段时间为真" |
| (termFormat ChineseLanguage holdsDuring "持有期间") | domainEnglishFormat.kif 28261-28261 | termFormat ChineseLanguage, holdsDuring and "持有期间" |
| (termFormat ChineseTraditionalLanguage holdsDuring "持有期間") | domainEnglishFormat.kif 28260-28260 | termFormat ChineseTraditionalLanguage, holdsDuring and "持有期間" |
| (termFormat EnglishLanguage holdsDuring "holds during") | domainEnglishFormat.kif 28259-28259 | termFormat EnglishLanguage, holdsDuring and "holds during" |
| 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 28333-28343 | エンティティー は 体の部分 の 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 16742-16749 | 工程 は 組み合わせ の instance では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n オブジェクト は エンティティー の part では は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %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 1086-1096 | エンティティー は 地域 の instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置 の during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置 の during holds %n{ない} |
| (<=> (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1523-1528 | 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 1494-1499 | annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
| (<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1569-1574 | capitalExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n capitalExpendituresOfArea 地政学的地域 and エンティティー は 時間位置 の during holds %n{ない} |
| (<=> (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3664-3669 | 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 3671-3676 | currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n currencyExchangeRate UnitOfCurrency and 通貨測定 は 時間位置 の during holds %n{ない} |
| (<=> (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (economicAidDonated ?COUNTRY ?AMOUNT))))) |
Economy.kif 2822-2827 | 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 2862-2867 | 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 2060-2065 | electricityFractionFromSourceInPeriod 地政学的地域, PowerGeneration, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n electricityFractionFromSource 地政学的地域, PowerGeneration and 実数 は 時間位置 の during holds %n{ない} |
| (<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 411-442 | FemaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目 は 実数 と equal では %n リスト リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
| (<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 323-353 | LifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目 は 実数 と equal では %n リスト リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 367-398 | MaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目 は 実数 と equal では %n リスト リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
| (<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 174-202 | MigrantsPerThousandFn 地政学的地域 and 整数 year 目 は 実数 と equal では %n ( 整数 + 量) は 1 と equal では %n PopulationFn 地政学的地域 は 量 と equal では %n は 整数 year 目 の during holds %n{ない} 量 + 1000 は 量 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n ( 整数 + 整数) は 量 と equal では %n 量 + 量 は 実数 と equal では %n |
| (<=> (equal (PopulationGrowthFn ?AREA (YearFn ?YEAR)) ?ADJUSTEDPERCENT) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring (YearFn ?PREVIOUSYEAR) (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 77-86 | PopulationGrowthFn 地政学的地域 and 整数 year 目 は 実数 と equal では %n ( 整数 + 整数) は 1 と equal では %n PopulationFn 地政学的地域 は 量 と equal では %n は 整数 year 目 の during holds %n{ない} PopulationFn 地政学的地域 は 量 と equal では %n は 整数 year 目 の during holds %n{ない} 量 + 量 は 量 と equal では %n ( 量 + 1) は 実数 と equal では %n |
| (<=> (equal (WhereFn ?THING ?TIME) ?REGION) (holdsDuring ?TIME (exactlyLocated ?THING ?REGION))) |
Merge.kif 6323-6325 | 物理 が 時点 に where 場所 は 地域 と equal では %n 物理 は exactly 地域 に 位置して %n は 時点 の during holds %n{ない} |
| (<=> (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2552-2557 | 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 2514-2519 | 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 2391-2396 | exportPartnerInPeriod 代理(人), 代理(人) and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n exportPartner 代理(人) and 代理(人) は 時間位置 の during holds %n{ない} |
| (<=> (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2778-2783 | externalDebtInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n externalDebt 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
| (<=> (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?PERIOD (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1269-1274 | 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 28290-28298 | Barefoot は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は Shoe の instance では %n wears エンティティー and エンティティー は 時間位置 の during holds %n{ない} |
| (<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 28302-28310 | Naked は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n wears エンティティー and エンティティー は 時間位置 の during holds %n{ない} |
| (<=> (holdsDuring ?TIME (instance ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT)))) |
Merge.kif 2595-2601 | エンティティー は LegalAgent の instance では %n は 時間位置 の during holds %n{ない} エンティティー は 訴訟 を agent として行う capable では %n エンティティー は 訴訟 を patient として行う capable では %n は 時間位置 の during holds %n{ない} |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners