(<=>     (orientation ?OBJ1 ?OBJ2 Southwest)     (and         (orientation ?OBJ1 ?OBJ2 South)         (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3676-3680	オブジェクト は Southwest 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(<=>     (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (perCapitaGDP ?AREA ?AMOUNT)))))	Economy.kif 1042-1047	perCapitaGDPInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n perCapitaGDP 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>     (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (populationFractionBelowPovertyLine ?AREA ?FRACTION)))))	Economy.kif 1184-1189	populationFractionBelowPovertyLineInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n populationFractionBelowPovertyLine 地政学的地域 and 実数 は 時間位置 の during holds %n{ない}
(<=>     (quarter ?Q ?W)     (exists (?H)         (and             (half ?H ?W)             (half ?Q ?H))))	Mid-level-ontology.kif 13207-13212	quarter オブジェクト and オブジェクト オブジェクト half オブジェクト and オブジェクト half オブジェクト and オブジェクト
(<=>     (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (realGrowthRateOfGDP ?AREA ?RATE)))))	Economy.kif 1007-1012	realGrowthRateOfGDPInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n realGrowthRateOfGDP 地政学的地域 and 実数 は 時間位置 の during holds %n{ない}
(<=>     (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)))))	Economy.kif 1086-1091	sectorCompositionOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n sectorCompositionOfGDP 地政学的地域, IndustryAttribute and 実数 は 時間位置 の during holds %n{ない}
(<=>     (sectorValueOfGDPInPeriod ?AREA ?SECTOR         (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (sectorValueOfGDP ?AREA ?SECTOR                     (MeasureFn ?AMOUNT ?CUNIT))))))	Economy.kif 1129-1137	sectorValueOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数 の 測定単位(s) and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n sectorValueOfGDP 地政学的地域, IndustryAttribute and 実数 の 測定単位(s) は 時間位置 の during holds %n{ない}
(<=>     (stepfather ?P ?F)     (exists (?M)         (and             (mother ?P ?M)             (spouse ?F ?M)             (not                 (father ?P ?F)))))	Mid-level-ontology.kif 23151-23158	stepfather 人［人間］ and Man 人［人間］ 人［人間］ は 人［人間］ の mother では %n spouse Man and 人［人間］ Man は 人［人間］ の father では
(<=>     (stepmother ?P ?M)     (exists (?F)         (and             (father ?P ?F)             (spouse ?M ?F)             (not                 (mother ?P ?M)))))	Mid-level-ontology.kif 23168-23175	stepmother 人［人間］ and Woman 人［人間］ 人［人間］ は 人［人間］ の father では %n spouse Woman and 人［人間］ Woman は 人［人間］ の mother では
(<=>     (totalFacilityTypeInArea ?AREA         (ExtensionFn AirportWithPavedRunway) ?COUNT)     (exists (?AIRPORT ?RUNWAY)         (cardinality             (KappaFn ?AIRPORT                 (and                     (instance ?AIRPORT Airport)                     (instance ?RUNWAY PavedRunway)                     (part ?RUNWAY ?AIRPORT)                     (located ?AIRPORT ?AREA))) ?COUNT)))	Transportation.kif 1277-1287	totalFacilityTypeInArea 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数
(<=>     (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)     (cardinality         (KappaFn ?ITEM             (and                 (instance ?ITEM ?TYPE)                 (located ?ITEM ?AREA))) ?COUNT))	Transportation.kif 1221-1228	totalFacilityTypeInArea 地理的地域, クラス and 非負整数 cardinality エンティティー class and 非負整数
(<=>     (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (totalGDP ?AREA ?AMOUNT)))))	Economy.kif 958-963	totalGDPInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n totalGDP 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>     (totalLengthOfHighwaySystem ?AREA ?LENGTH)     (length         (KappaFn ?HIGHWAYS             (and                 (instance ?HIGHWAYS Roadway)                 (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 484-491	totalLengthOfHighwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では
(<=>     (totalLengthOfRailwaySystem ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS Railway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 98-105	totalLengthOfRailwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では
(<=>     (totalLengthOfWaterways ?AREA ?LENGTH)     (length         (KappaFn ?WATERWAY             (and                 (instance ?WATERWAY Waterway)                 (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))	Transportation.kif 656-663	totalLengthOfWaterways 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では
(<=>     (totalPipelineInArea ?AREA ?LENGTH)     (length         (KappaFn ?PIPE             (and                 (instance ?PIPE Pipeline)                 (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 685-692	totalPipelineInArea 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では
(<=>     (uncle ?U ?H)     (exists (?P)         (and             (brother ?U ?P)             (parent ?H ?P))))	Mid-level-ontology.kif 23136-23141	uncle Man and 人［人間］ 人［人間］ brother Man and 人［人間］ 人［人間］ は 人［人間］ の parent では %n
(<=>     (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (unemploymentRateOfArea ?AREA ?RATE)))))	Economy.kif 1456-1461	unemploymentRateOfAreaInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n unemploymentRateOfArea 地政学的地域 and 実数 は 時間位置 の during holds %n{ない}
(<=>     (yearOfFounding ?O ?Y)     (exists (?F ?YEAR)         (and             (overlapsTemporally                 (WhenFn ?F) ?YEAR)             (instance ?YEAR                 (YearFn ?Y))             (instance ?F Founding)             (result ?F ?O))))	Mid-level-ontology.kif 968-975	yearOfFounding 組織 and 整数 工程 整数EAR 整数EAR は 工程 の time の existence と overlaps %n{dない} 整数EAR は 整数 year 目 の instance では %n 工程 は Founding の instance では %n 組織 は 工程 の result では %n
(=>     (accountAtSite ?ACCT ?SITE)     (exists (?DATABASE ?SITE_OWNER)         (and             (instance ?DATABASE Database)             (instance ?SITE_OWNER AutonomousAgent)             (possesses ?SITE_OWNER ?SITE)             (possesses ?SITE_OWNER ?DATABASE)             (part ?ACCT ?DATABASE))))	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite オブジェクト WebSite_OWNER オブジェクト は Database の instance では %n WebSite_OWNER は AutonomousAgent の instance では %n WebSite_OWNER は WebSite を possesses %n{ない} WebSite_OWNER は オブジェクト を possesses %n{ない} UserAccount は オブジェクト の part では %n
(=>     (actedIn ?ACTOR ?O)     (exists (?PERF)         (and             (instance ?PERF DramaticActing)             (patient ?PERF ?ACTOR)             (result ?PERF ?O))))	Mid-level-ontology.kif 20751-20757	actedIn 人［人間］ and ContentBearingPhysical 工程 工程 は DramaticActing の instance では %n 人［人間］ は 工程 の patient では %n ContentBearingPhysical は 工程 の result では %n
(=>     (activityCapability ?AGENT ?ACT)     (exists (?LOC)         (and             (element ?LOC                 (PropertyFn ?AGENT))             (capability ?ACT located ?LOC))))	Hotel.kif 599-604	activityCapability AutonomousAgent and 工程 オブジェクト オブジェクト は AutonomousAgent の belongings の element %n オブジェクト は 工程 を located として行う capable では %n
(=>     (adjacentOrientation ?OBJ1 ?OBJ2)     (exists (?X)         (and             (instance ?X ?OBJ2)             (orientation ?OBJ1 ?X Adjacent))))	Hotel.kif 939-944	adjacentOrientation オブジェクト and クラス オブジェクト オブジェクト は クラス の instance では %n オブジェクト は Adjacent 対 オブジェクト では %n
(=>     (advertisedOn ?OBJ ?SITE)     (exists (?ADVERT)         (and             (instance ?ADVERT Advertising)             (hostedOn ?ADVERT ?SITE)             (patient ?ADVERT ?OBJ))))	UXExperimentalTerms.kif 193-199	advertisedOn オブジェクト and WebSite WebListing WebListing は 広告 の instance では %n hostedOn WebListing and WebSite オブジェクト は WebListing の patient では %n
(=>     (agreementAdoptionDate ?AGR ?DATE)     (exists (?PROCESS ?DAY)         (and             (instance ?PROCESS Committing)             (instance ?DAY ?DATE)             (patient ?PROCESS ?AGR)             (time ?PROCESS ?DAY))))	Government.kif 706-713	agreementAdoptionDate 命題 and 時間位置 工程 時間位置 工程 は 委託 の instance では %n 時間位置 は 時間位置 の instance では %n 命題 は 工程 の patient では %n 工程 は 時間位置 の during exists %n{ない}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners