(<=>     (instance ?Index StockIndex)     (exists (?Stock)         (and             (instance ?Stock Stock)             (benchmark ?Index ?Stock))))	FinancialOntology.kif 1696-1701	抽象的な は StockIndex の instance では %n PerformanceMeasure PerformanceMeasure は Stock の instance では %n benchmark 抽象的な and PerformanceMeasure
(<=>     (instance ?L Lamb)     (and         (instance ?L Sheep)         (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20186-20190	オブジェクト は Lamb の instance では %n オブジェクト は Sheep の instance では %n NonFullyFormed は オブジェクト の attribute では %n
(<=>     (instance ?Loan SecuredLoan)     (exists (?Security)         (securedBy ?Loan ?Security)))	FinancialOntology.kif 1348-1351	FinancialAccount は SecuredLoan の instance では %n Collateral securedBy FinancialAccount and Collateral
(<=>     (instance ?NUMBER NegativeRealNumber)     (and         (lessThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1948-1952	実数 は 負の実数 の instance では %n 実数 は 0 より less では %n 実数 は 実数 の instance では %n
(<=>     (instance ?NUMBER NonnegativeRealNumber)     (and         (greaterThanOrEqualTo ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	実数 は 非負実数 の instance では %n 実数 は 0 greater では　%n 実数 は 実数 の instance では %n
(<=>     (instance ?NUMBER PositiveRealNumber)     (and         (greaterThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1937-1941	実数 は 正の実数 の instance では %n 実数 は 0 より greater では　%n 実数 は 実数 の instance では %n
(<=>     (instance ?ORG GovernmentOrganization)     (or         (instance ?ORG Government)         (exists (?GOV)             (and                 (instance ?GOV Government)                 (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	組織 は GovernmentOrganization の instance では %n 組織 は 政府 の instance では %n 組織 組織 は 政府 の instance では %n 組織 は組織 組織 の一部では %n
(<=>     (instance ?R Rooster)     (and         (instance ?R Chicken)         (attribute ?R Male)))	Mid-level-ontology.kif 20241-20245	オブジェクト は Rooster の instance では %n オブジェクト は Chicken の instance では %n Male は オブジェクト の attribute では %n
(<=>     (instance ?RR BroadGaugeRailway)     (property ?RR BroadGauge))	Transportation.kif 411-413	エンティティー は BroadGaugeRailway の instance では %n エンティティー には attribute BroadGauge %n{ない}
(<=>     (instance ?RR DualGaugeRailway)     (property ?RR DualGauge))	Transportation.kif 469-471	エンティティー は DualGaugeRailway の instance では %n エンティティー には attribute DualGauge %n{ない}
(<=>     (instance ?RR NarrowGaugeRailway)     (property ?RR NarrowGauge))	Transportation.kif 460-462	エンティティー は NarrowGaugeRailway の instance では %n エンティティー には attribute NarrowGauge %n{ない}
(<=>     (instance ?RR StandardGaugeRailway)     (property ?RR StandardGauge))	Transportation.kif 443-445	エンティティー は StandardGaugeRailway の instance では %n エンティティー には attribute StandardGauge %n{ない}
(<=>     (instance ?STATE StateOrProvince)     (instance         (GovernmentFn ?STATE) StateGovernment))	Mid-level-ontology.kif 8326-8328	地政学的地域 は 州 の instance では %n 地政学的地域 の government は StateGovernment の instance では %n
(<=>     (instance ?VERT Vertebrate)     (exists (?SPINE)         (and             (instance ?VERT Animal)             (component ?SPINE ?VERT)             (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 10944-10950	微粒子オブジェクト は 脊椎動物 の instance では %n 微粒子オブジェクト 微粒子オブジェクト は 動物 の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n 微粒子オブジェクト は SpinalColumn の instance では %n
(<=>     (instance ?X DifferentialEquation)     (instance ?X         (AttrFn Equation DifferentialAttribute)))	engineering.kif 155-157	エンティティー は DifferentialEquation の instance では %n エンティティー は AttrFn Equation and DifferentialAttribute の instance では %n
(=>     (and         (?ROLE ?EVENT ?OBJ)         (instance ?ROLE CaseRole)         (instance ?EVENT Process)         (instance ?OBJ Object))     (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23252-23258	格役割 工程 and オブジェクト 格役割 は 格役割 の instance では %n 工程 は 工程 の instance では %n オブジェクト は オブジェクト の instance では %n playsRoleInEvent オブジェクト, 格役割 and 工程
(=>     (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         (actedIn ?ACTOR ?O)         (instance ?PERF DramaticActing)         (patient ?PERF ?ACTOR)         (result ?PERF ?O))     (holdsDuring         (WhenFn ?PERF)         (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20760-20767	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 18837-18843	AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の result では %n エンティティー は 芸術作品 の instance では %n Artist は AutonomousAgent の attribute では %n は 工程 の time の existence の during holds %n{ない}
(=>     (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         (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         (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 6231-6244	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
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