(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3165-3169	abbreviatedDisplayTitle 記号文字列, エンティティー-TYPE and 言語 エンティティー は エンティティー-TYPE の instance では %n 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 3621-3625	accountHolder FinancialAccount and 認識エージェント accountAt FinancialAccount and FinancialOrganization customer 認識エージェント and FinancialOrganization
(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Media.kif 3041-3045	acronym 記号文字列 and エンティティー inString キャラクター and 記号文字列 キャラクター は AlphabeticCharacter の instance では %n
(=>     (and         (actedIn ?ACTOR ?O)         (instance ?PERF DramaticActing)         (patient ?PERF ?ACTOR)         (result ?PERF ?O))     (holdsDuring         (WhenFn ?PERF)         (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20759-20766	actedIn 人［人間］ and ContentBearingPhysical 工程 は DramaticActing の instance では %n 人［人間］ は 工程 の patient では %n ContentBearingPhysical は 工程 の result では %n Actor は 人［人間］ の attribute では %n は 工程 の time の existence の during holds %n{ない}
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18836-18842	AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の result では %n エンティティー は 芸術作品 の instance では %n Artist は AutonomousAgent の attribute では %n は 工程 の time の existence の during holds %n{ない}
(=>     (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 487-499	AutonomousAgent は 工程 の agent では %n 工程 は オブジェクト から originates %n{ない} 物理 は 工程 の patient では %n 物理 の value は 通貨測定 では %n 金融取引 金融取引 は 工程% の subprocess では %n 金融取引 は Payment の instance では %n transactionAmount 金融取引 and 通貨測定 金融取引 は AutonomousAgent から originates %n{ない} 金融取引 は オブジェクト に ends %n{ない}
(=>     (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 14078-14088	agreementClause 命題, 義務的な属性, Agreement and 認識エージェント 義務的な属性 は Obligation と equal では %n 義務的な属性 は Promise と equal では %n ステートメント エンティティー エンティティー は 命題 の内容を expresses %n{ない} 認識エージェント は エンティティー の agent では %n には Likely の modal force が ある
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	agreementEffectiveDate Agreement and 時点 Agreement は 認識エージェント にタイプ 公式 のタスクを実行する obligates %n{ない} 時間位置 は 時点 の instance では %n 認識エージェント はタイプ 公式 のタスクを実行する obliged %n は 時間位置 の すぐ after の during holds %n{ない}
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	agreementEffectiveDate Agreement and 時点 Agreement は 認識エージェント が 公式 のタスクを実行することはを allows %n{ない} 時間位置 は 時点 の instance では %n 認識エージェント は 公式 を 実行する right を　持って %n{ない} は 時間位置 の すぐ after の during holds %n{ない}
(=>     (and         (agreementEffectiveDate ?Account ?Date)         (currentAccountBalance ?Account ?Date ?Balance))     (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726	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 766-772	agreementEffectiveDuring 命題 and 時間位置 時間位置 は 時間位置 の instance では %n 公式 は 公式 の instance では %n 公式 は 命題 の情報を contains %n{ない} 公式 は 時間位置 の during holds %n{ない}
(=>     (and         (agreementPeriod ?AGREEMENT ?DURATION)         (agreementEffectiveDate ?AGREEMENT ?STARTDATE))     (holdsDuring         (TimePeriodFn ?STARTDATE ?DURATION)         (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14015-14020	agreementPeriod Agreement and 時間間隔 agreementEffectiveDate Agreement and 時点 Agreement には attribute ActiveAgreement %n{ない} は TimePeriodFn 時点 and 時間間隔 の during holds %n{ない}
(=>     (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 では %n 自己接続オブジェクト は オブジェクト を contains %n{ない} ステートメント Image は 自己接続オブジェクト の front の part では %n には Likely の modal force が ある
(=>     (and         (allergic ?H ?S)         (instance ?SUB ?S)         (holdsDuring ?T             (meetsSpatially ?SUB ?H)))     (modalAttribute         (exists (?AR)             (and                 (instance ?AR AllergicReaction)                 (experiencer ?AR ?H)                 (overlapsTemporally ?T                     (WhenFn ?AR))                 (before                     (BeginFn ?T)                     (BeginFn                         (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 6230-6243	allergic 人［人間］ and 物質 物質UB は 物質 の instance では %n 物質UB は 人［人間］ と meets %n{ない} は 時間位置 の during holds %n{ない} ステートメント エンティティー エンティティー は AllergicReaction の instance では %n 人［人間］ が エンティティー を experiences %n{ない} エンティティー の time の existence は 時間位置 と overlaps %n{dない} 時間位置 の beginning は エンティティー の time の existence の beginning の before に happens %n{ない} には Likely の modal force が ある
(=>     (and         (amount ?S ?CO             (MeasureFn ?N ?U))         (instance ?SI ?S)         (measure ?SI             (MeasureFn ?N2 ?U))         (part ?SI ?CO))     (exists (?L)         (and             (inList                 (MeasureFn ?N2 ?U) ?L)             (equal ?L                 (AmountsFn ?S ?CO ?U))             (equal ?N                 (ListSumFn ?L)))))	Merge.kif 7596-7611	amount 物質, 微粒子オブジェクト and 実数 の UnitOfMass(s) 物質I は 物質 の instance では %n 物質I の measure は 実数2 の UnitOfMass(s) では %n 物質I は 微粒子オブジェクト の part では %n リスト 実数2 の UnitOfMass(s) は リスト の member では %n リスト は AmountsFn 物質, 微粒子オブジェクト and UnitOfMass と equal では %n 実数 は ListSumFn リスト と equal では %n
(=>     (and         (amountDue ?Account ?Amount ?DueDate)         (accountHolder ?Account ?Agent))     (holdsObligation         (KappaFn ?Payment             (and                 (instance ?Payment Payment)                 (transactionAmount ?Payment ?Amount)                 (or                     (destination ?Payment                         (CurrencyFn ?Account))                     (origin ?Payment                         (CurrencyFn ?Account)))                 (date ?Payment ?Date)                 (beforeOrEqual                     (EndFn ?Date)                     (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 655-667	amountDue FinancialAccount, 通貨測定 and 時間位置 accountHolder FinancialAccount and 認識エージェント 認識エージェント はタイプ エンティティー class のタスクを実行する obliged %n
(=>     (and         (antagonistMuscles ?A ?B)         (instance ?E Extension)         (instrument ?E ?AC)         (moves ?E ?BC)         (instance ?AC ?A)         (instance ?BC ?B)         (part ?AC ?H)         (part ?BC ?H)         (instance ?H Animal))     (capability Flexion instrument ?BC))	Mid-level-ontology.kif 10684-10695	antagonistMuscles 筋肉 and 筋肉 motion は Extension の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は 筋肉 の instance では %n 筋肉C は 筋肉 の instance では %n 筋肉C は オブジェクト の part では %n 筋肉C は オブジェクト の part では %n オブジェクト は 動物 の instance では %n 筋肉C は Flexion を instrument として行う capable では %n
(=>     (and         (antagonistMuscles ?A ?B)         (instance ?F Flexion)         (instrument ?F ?AC)         (moves ?F ?BC)         (instance ?AC ?A)         (instance ?BC ?B)         (part ?AC ?H)         (part ?BC ?H)         (instance ?H Animal))     (capability Extension instrument ?BC))	Mid-level-ontology.kif 10671-10682	antagonistMuscles 筋肉 and 筋肉 motion は Flexion の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は 筋肉 の instance では %n 筋肉C は 筋肉 の instance では %n 筋肉C は オブジェクト の part では %n 筋肉C は オブジェクト の part では %n オブジェクト は 動物 の instance では %n 筋肉C は Extension を instrument として行う capable では %n
(=>     (and         (applicableRelation ?O ?R)         (instance ?O ?OC)         (domain ?R 1 ?DC))     (or         (equal ?OC ?DC)         (subclass ?OC ?DC)))	Mid-level-ontology.kif 31383-31390	applicableRelation オブジェクト and 関係 オブジェクト は オブジェクトC の instance では %n 関係 の数値 1 引数は クラス の instance では %n オブジェクトC は クラス と equal では %n オブジェクトC は クラス の subclass では %n
(=>     (and         (approximateDiameter ?O             (MeasureFn ?L ?LM))         (sphereRadius ?S             (MeasureFn                 (DivisionFn ?L 2.0) ?LM))         (measure ?S             (MeasureFn ?V1 ?VM))         (measure ?O             (MeasureFn ?V2 ?VM))         (instance ?LM UnitOfLength)         (instance ?VM UnitOfVolume))     (equal ?V1 ?V2))	Mid-level-ontology.kif 17947-17958	approximateDiameter 自己接続オブジェクト and 実数 の 実数M(s) sphereRadius オブジェクト and 実数 + 2.0 の 実数M(s) オブジェクト の measure は 実数 の 測定単位(s) では %n 自己接続オブジェクト の measure は 実数 の 測定単位(s) では %n 実数M は UnitOfLength の instance では %n 測定単位 は UnitOfVolume の instance では %n 実数 は 実数 と equal では %n
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (arableLandArea ?REGION         (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2080-2090	arableLandArea 地理的地域 and 実数 の 測定単位(s) 実数 は 0.0 greater では　%n totalArea 地理的地域 and 実数 の 測定単位(s) 実数 は 面積測定 の instance では %n 実数 は 実数 + 実数 と equal では %n arableLandArea 地理的地域 and 実数 の 測定単位(s)
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2092-2106	arableLandArea 地理的地域 and 実数 の 測定単位(s) 実数 は 0.0 greater では　%n totalArea 地理的地域 and 実数 の 測定単位(s) 測定単位 は UnitOfArea の instance では %n 地理的地域 地理的地域 は ArableLand の instance では %n geographicSubregion 地理的地域 and 地理的地域 地理的地域 の measure は 実数 + 実数 の 測定単位(s) では %n
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	FormOfGovernment は 地政学的地域 の government の attribute では %n FormOfGovernment は FormOfGovernment の instance では %n governmentType 地政学的地域 and FormOfGovernment
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 478-482	属性 は オブジェクト の attribute では %n 属性 は AlbumAttribute の instance では %n オブジェクト は Album の instance では %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