(<=>     (instance ?Index StockIndex)     (exists (?Stock)         (and             (instance ?Stock Stock)             (benchmark ?Index ?Stock))))	FinancialOntology.kif 1696-1701	抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark
(<=>     (instance ?L Lamb)     (and         (instance ?L Sheep)         (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20186-20190	客体 是 羔羊 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>     (instance ?Loan SecuredLoan)     (exists (?Security)         (securedBy ?Loan ?Security)))	FinancialOntology.kif 1348-1351	金融账户 是 担保贷款 的 instance 若且唯若 有存在 抵押 这样 那个 抵押 是 那个 金融账户 的 secured
(<=>     (instance ?NUMBER NegativeRealNumber)     (and         (lessThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1948-1952	实数 是 负实数 的 instance 若且唯若 那个 实数 是 lessThan 0 和 那个 实数 是 实数 的 instance
(<=>     (instance ?NUMBER NonnegativeRealNumber)     (and         (greaterThanOrEqualTo ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	实数 是 非负实数 的 instance 若且唯若 那个 实数 是 greaterThanOrEqualTo 0 和 那个 实数 是 实数 的 instance
(<=>     (instance ?NUMBER PositiveRealNumber)     (and         (greaterThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1937-1941	实数 是 正实数 的 instance 若且唯若 那个 实数 是 greaterThan 0 和 那个 实数 是 实数 的 instance
(<=>     (instance ?ORG GovernmentOrganization)     (or         (instance ?ORG Government)         (exists (?GOV)             (and                 (instance ?GOV Government)                 (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 Organization 的一部分
(<=>     (instance ?R Rooster)     (and         (instance ?R Chicken)         (attribute ?R Male)))	Mid-level-ontology.kif 20241-20245	客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute
(<=>     (instance ?RR BroadGaugeRailway)     (property ?RR BroadGauge))	Transportation.kif 411-413	实体 是 宽轨铁路 的 instance 若且唯若 那个 实体 有 宽规 的 attribute
(<=>     (instance ?RR DualGaugeRailway)     (property ?RR DualGauge))	Transportation.kif 469-471	实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 双轨铁路 的 attribute
(<=>     (instance ?RR NarrowGaugeRailway)     (property ?RR NarrowGauge))	Transportation.kif 460-462	实体 是 窄轨铁路 的 instance 若且唯若 那个 实体 有 窄规 的 attribute
(<=>     (instance ?RR StandardGaugeRailway)     (property ?RR StandardGauge))	Transportation.kif 443-445	实体 是 标准轨距铁路 的 instance 若且唯若 那个 实体 有 标准规 的 attribute
(<=>     (instance ?STATE StateOrProvince)     (instance         (GovernmentFn ?STATE) StateGovernment))	Mid-level-ontology.kif 8326-8328	地缘政治区域 是 州或省 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 州政府 的 instance
(<=>     (instance ?VERT Vertebrate)     (exists (?SPINE)         (and             (instance ?VERT Animal)             (component ?SPINE ?VERT)             (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 10944-10950	躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance
(<=>     (instance ?X DifferentialEquation)     (instance ?X         (AttrFn Equation DifferentialAttribute)))	engineering.kif 155-157	实体 是 微分方程 的 instance 若且唯若 那个 实体 是 方程 跟 微分属性 的 attr 的 instance
(=>     (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 和 那个 过程 是 过程 的 instance 和 那个 客体 是 客体 的 instance， 然后 那个 客体 对于 那个 过程 在事件 那个 格角色 plays 角色
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3165-3169	如果 符号串 是 在 语言 的 short title 实体-TYPE 和 另一个 实体 是 那个 实体-TYPE 的 instance， 然后 那个 另外 实体 是 那个 符号串 的简称
(=>     (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 内容承载物理 和 过程 是 戏剧表演 的 instance 和 那个 人类 是 那个 过程 的 patient 和 那个 内容承载物理 是 那个 过程 的 result， 然后 Actor 是 那个 人类 的 attribute 在 那个 过程 出现 的 time holdsDuring
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	如果 施事体 是 过程 的 agent 和 实体 是 那个 过程 的 result 和 那个 实体 是 艺术品 的 instance， 然后 Artist 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	如果 时点 是 协议 的 agreement 生效日期 和 那个 协议 要求 有认知的主事 执行 公式 的任务 和 时间位置 是 那个 时点 的 instance， 然后 那个 有认知的主事 有义务执行 那个 公式 的任务 在 紧接 那个 时间位置 after holdsDuring
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	如果 时点 是 协议 的 agreement 生效日期 和 那个 协议 允许 有认知的主事 执行 公式 的任务 和 时间位置 是 那个 时点 的 instance， 然后 那个 有认知的主事 有权利去做 那个 公式 在 紧接 那个 时间位置 after holdsDuring
(=>     (and         (agreementEffectiveDuring ?AGR ?DATE)         (instance ?TIME ?DATE)         (instance ?FORMULA Formula)         (containsInformation ?FORMULA ?AGR))     (holdsDuring ?TIME ?FORMULA))	Government.kif 766-772	如果 有点 时间位置 是 命题 的 agreement 生效其间 和 另一个 时间位置 是 有点 时间位置 的 instance 和 公式 是 公式 的 instance 和 那个 公式 contains 那个 命题 的资料， 然后 那个 公式 在 那个 另外 时间位置 holdsDuring
(=>     (and         (albumCoverImage ?A ?I)         (instance ?CD             (AlbumCopiesFn ?A ?DS))         (contains ?C ?CD))     (modalAttribute         (part ?I             (FrontFn ?C)) Likely))	Music.kif 316-322	如果 Image 是在 Album 的 image 和 客体 是 那个 Album 在 有点 DataStorageDevice 的 set 复制 的 instance 和 自身连接物体 contains 那个 客体， 然后 那个 Image 是 那个 自身连接物体 的前面 的 part 的声明 has 容易 的语气
(=>     (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 和 那个 有点 物质UB 接上 那个 人类 在 时间位置 holdsDuring， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 AllergicReaction 的 instance 和 那个 人类 经历了 那个 另外 实体 和 那个 另外 实体 出现 的 time 时段 和 那个 时间位置 重叠 和 那个 时间位置 的开始%n在那个 另外 实体 出现 的 time 的开始before发生 的声明 has 容易 的语气
(=>     (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 和 有点 物质I 是 那个 有点 物质 的 instance 和 那个 有点 物质I 的 measure 是 那个 实数2 那个 UnitOfMass 和 那个 有点 物质I 是 那个 躯体性物体 的 part， 然后 有存在 串列 这样 那个 实数2 那个 UnitOfMass 是 那个 串列 的 member 和 那个 串列 equal AmountsFn 那个 有点 物质, 那个 躯体性物体 and 那个 UnitOfMass 和 那个 实数 equal ListSumFn 那个 串列
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