(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 26338-26343	PostalPlace は Neighborhood に located して PostalPlace は PostalPlace の instance では Neighborhood は Neighborhood の instance では postNeighborhood PostalPlace and Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 26409-26414	PostalPlace は 州 に located して PostalPlace は PostalPlace の instance では 州 は 州 の instance では postDistrict PostalPlace and 州
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 26375-26382	PostalPlace は 地政学的地域 に located して PostalPlace は PostalPlace の instance では 地政学的地域 は 国民 の instance では 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では postCountry PostalPlace and 地政学的地域
(<=>     (exists (?Period)         (and             (instance ?Loan Loan)             (agreementPeriod ?Loan ?Period)             (interestEarned ?Loan ?Amount ?Period)))     (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3938-3944	時間間隔 Loan は Loan の instance では agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest
(<=>     (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 3068-3079	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では 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 3019-3030	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では 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 3051-3059	FinancialInstrument FinancialInstrumentPrice and 通貨測定 Agreement は Option の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 equal FinancialInstrumentPrice and 通貨測定 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 3032-3043	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では 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 3081-3092	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では outOfTheMoney Agreement and AutonomousAgent
(<=>     (holdsDuring ?T         (and             (instance ?PERSON Human)             (forall (?ORG)                 (not                     (employs ?ORG ?PERSON)))))     (holdsDuring ?T         (attribute ?PERSON Unemployed)))	Merge.kif 17429-17437	エンティティー は 人［人間］ の instance では エンティティー エンティティー は エンティティー を employ ない は 時間位置 の during holds Unemployed は エンティティー の attribute では は 時間位置 の during holds
(=>     (and         (?ROLE ?EVENT ?OBJ)         (instance ?ROLE CaseRole)         (instance ?EVENT Process)         (instance ?OBJ Object))     (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 24893-24899	格役割 工程 and オブジェクト 格役割 は 格役割 の instance では 工程 は 工程 の instance では オブジェクト は オブジェクト の instance では playsRoleInEvent オブジェクト, 格役割 and 工程
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP_TYPE ?LANGUAGE)         (instance ?X ?CBP_TYPE))     (abbreviation ?STRING ?X))	Media.kif 3149-3153	abbreviatedDisplayTitle 記号文字列, エンティティー_TYPE and 言語 エンティティー は エンティティー_TYPE の instance では abbreviation 記号文字列 and エンティティー
(=>     (and         (accountAtSite ?ACCOUNT ?SITE)         (hasAccount ?USER ?ACCOUNT))     (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 881-885	accountAtSite UserAccount and WebSite hasAccount AutonomousAgent and UserAccount registeredUser AutonomousAgent and WebSite
(=>     (and         (accountHolder ?Account ?Agent)         (accountAt ?Account ?Bank))     (customer ?Agent ?Bank))	FinancialOntology.kif 3639-3643	accountHolder FinancialAccount and 認識エージェント accountAt FinancialAccount and FinancialOrganization customer 認識エージェント and FinancialOrganization
(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Mid-level-ontology.kif 29152-29156	acronym 記号文字列 and エンティティー inString キャラクター and 記号文字列 キャラクター は AlphabeticCharacter の instance では
(=>     (and         (actedIn ?ACTOR ?O)         (instance ?PERF DramaticActing)         (patient ?PERF ?ACTOR)         (result ?PERF ?O))     (holdsDuring         (WhenFn ?PERF)         (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 22377-22384	actedIn 人［人間］ and ContentBearingPhysical 工程 は DramaticActing の instance では 人［人間］ は 工程 の patient では ContentBearingPhysical は 工程 の result では Actor は 人［人間］ の attribute では は 工程 の time の existence の during holds
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 20408-20414	AutonomousAgent は 工程 の agent では エンティティー は 工程 の result では エンティティー は 芸術作品 の instance では Artist は AutonomousAgent の attribute では は 工程 の time の existence の during holds
(=>     (and         (agent ?Purchase ?Buyer)         (origin ?Purchase ?Seller)         (patient ?Purchase ?Object)         (monetaryValue ?Object ?Money))     (exists (?Payment)         (and             (subProcess ?Payment ?Purchase)             (instance ?Payment Payment)             (transactionAmount ?Payment ?Money)             (origin ?Payment ?Buyer)             (destination ?Payment ?Seller))))	FinancialOntology.kif 489-501	AutonomousAgent は 工程 の agent では 工程 は オブジェクト から originates 物理 は 工程 の patient では 物理 の value は 通貨測定 では 金融取引 金融取引 は 工程% の subprocess では 金融取引 は Payment の instance では transactionAmount 金融取引 and 通貨測定 金融取引 は AutonomousAgent から originates 金融取引 は オブジェクト に ends
(=>     (and         (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)         (or             (equal ?ATTR Obligation)             (equal ?ATTR Promise)))     (modalAttribute         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 15450-15460	agreementClause 命題, 義務的な属性, Agreement and 認識エージェント equal 義務的な属性 and Obligation equal 義務的な属性 and Promise ステートメント エンティティー エンティティー は 命題 の内容を expresses 認識エージェント は エンティティー の agent では には Likely の modal force が ある
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 677-682	agreementEffectiveDate Agreement and 時点 Agreement は 認識エージェント にタイプ 公式 のタスクを実行する obligates 時間位置 は 時点 の instance では 認識エージェント はタイプ 公式 のタスクを実行する obliged は 時間位置 の すぐ after の during holds
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 684-689	agreementEffectiveDate Agreement and 時点 Agreement は 認識エージェント が 公式 のタスクを実行することはを allows 時間位置 は 時点 の instance では 認識エージェント は 公式 を 実行する right を　持って は 時間位置 の すぐ after の during holds
(=>     (and         (agreementEffectiveDate ?Account ?Date)         (currentAccountBalance ?Account ?Date ?Balance))     (originalBalance ?Account ?Balance))	FinancialOntology.kif 724-728	agreementEffectiveDate FinancialAccount and 時点 currentAccountBalance FinancialAccount, 時点 and 通貨測定 originalBalance FinancialAccount and 通貨測定
(=>     (and         (agreementEffectiveDuring ?AGR ?DATE)         (instance ?TIME ?DATE)         (instance ?FORMULA Formula)         (containsInformation ?FORMULA ?AGR))     (holdsDuring ?TIME ?FORMULA))	Government.kif 728-734	agreementEffectiveDuring 命題 and 時間位置 時間位置 は 時間位置 の instance では 公式 は 公式 の instance では 公式 は 命題 の情報を contains 公式 は 時間位置 の during holds
(=>     (and         (agreementPeriod ?AGREEMENT ?DURATION)         (agreementEffectiveDate ?AGREEMENT ?STARTDATE))     (holdsDuring         (TimePeriodFn ?STARTDATE ?DURATION)         (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 15387-15392	agreementPeriod Agreement and 時間間隔 agreementEffectiveDate Agreement and 時点 Agreement には attribute ActiveAgreement は TimePeriodFn 時点 and 時間間隔 の during holds
(=>     (and         (albumCoverImage ?A ?I)         (instance ?CD             (AlbumCopiesFn ?A ?DS))         (contains ?C ?CD))     (modalAttribute         (part ?I             (FrontFn ?C)) Likely))	Music.kif 316-322	albumCoverImage Album and Image オブジェクト は AlbumCopiesFn Album and DataStorageDevice の instance では 自己接続オブジェクト は オブジェクト を contains ステートメント Image は 自己接続オブジェクト の front の part では には Likely の modal force が ある
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