No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24763-24768	PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24676-24681	PostalPlace 是 located 在 Neighborhood 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 Neighborhood 是 Neighborhood 的 instance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24747-24752	PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3920-3926	有存在 时距 这样 贷款 是 贷款 的 instance 和 那个 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益 是 那个 贷款 的 loan 利息
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	有存在 金融工具， 那个 金融工具Price， and 和 另一个 实数 这样 协议 是 看涨期权 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体 是 那个 协议 的 out 资兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	有存在 金融工具， 那个 金融工具Price， and 和 另一个 实数 这样 协议 是 看涨期权 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 另外 实数 是 lessThan 那个 金融工具Price 若且唯若 那个 施事体 是 那个 协议 的 in 金钱
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3034-3042	有存在 金融工具， 那个 金融工具Price， and 和 另一个 货币测量 这样 协议 是 选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 和 那个 另外 货币测量 是 那个 协议 的 strike 价钱 和 那个 金融工具Price equal 那个 另外 货币测量 若且唯若 那个 施事体 是 那个 协议 at 的钱
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	有存在 金融工具， 那个 金融工具Price， and 和 另一个 实数 这样 协议 是 放选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体 是 那个 协议 的 in 金钱
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	有存在 金融工具， 那个 金融工具Price， and 和 另一个 实数 这样 协议 是 放选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 另外 实数 是 lessThan 那个 金融工具Price 若且唯若 那个 施事体 是 那个 协议 的 out 资兂短缺
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23258	如果 格角色 过程 and 客体 和 那个 格角色 是 格角色 的 instance 和 那个 过程 是 过程 的 instance 和 那个 客体 是 客体 的 instance， 然后 那个 客体 对于 那个 过程 在事件 那个 格角色 plays 角色
No TPTP formula. May not be expressible in strict first order.	Media.kif 3165-3169	如果 符号串 是 在 语言 的 short title 实体-TYPE 和 另一个 实体 是 那个 实体-TYPE 的 instance， 然后 那个 另外 实体 是 那个 符号串 的简称
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 881-885	如果 用户帐号 是在 WebSite 的 account 和 施事体 有 account 那个 用户帐号 ， 然后 那个 施事体 是 那个 WebSite 的 registered user
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3621-3625	如果 有认知的主事 持有 account 金融账户 和 那个 金融账户 是被 金融机构 held ， 然后 那个 金融机构 是 那个 有认知的主事 的 customer
No TPTP formula. May not be expressible in strict first order.	Media.kif 3041-3045	如果 符号串 是对于 实体 的 acronym 和 字符 是 那个 符号串 的 part ， 然后 那个 字符 是 字母字符 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	如果 actedIn 人类 and 内容承载物理 和 过程 是 戏剧表演 的 instance 和 那个 人类 是 那个 过程 的 patient 和 那个 内容承载物理 是 那个 过程 的 result， 然后 Actor 是 那个 人类 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	如果 施事体 是 过程 的 agent 和 实体 是 那个 过程 的 result 和 那个 实体 是 艺术品 的 instance， 然后 Artist 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	如果 施事体 是 过程 的 agent 和 客体 是 那个 过程 的源头 和 物理 是 那个 过程 的 patient 和 那个 物理 的价值 是 货币测量， 然后 有存在 金融交易 这样 那个 金融交易%n是那个 过程的subProcess 和 那个 金融交易 是 付款 的 instance 和 那个 货币测量 是 那个 金融交易 的 transaction 总额 和 那个 施事体 是 那个 金融交易 的源头 和 那个 金融交易 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	如果 有认知的主事 有义务去做在 协议 的 命题 道义属性 和 那个 道义属性 equal 义务 或 那个 道义属性 equal 诺言， 然后 有存在 实体 这样 那个 实体 表示 那个 命题 的内容 和 那个 有认知的主事 是 那个 实体 的 agent 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	如果 时点 是 协议 的 agreement 生效日期 和 那个 协议 要求 有认知的主事 执行 公式 的任务 和 时间位置 是 那个 时点 的 instance， 然后 那个 有认知的主事 有义务执行 那个 公式 的任务 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	如果 时点 是 协议 的 agreement 生效日期 和 那个 协议 允许 有认知的主事 执行 公式 的任务 和 时间位置 是 那个 时点 的 instance， 然后 那个 有认知的主事 有权利去做 那个 公式 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 722-726	如果 时点 是 金融账户 的 agreement 生效日期 和 那个 金融账户 对于 %3 的 current 帐户存款， 然后 货币测量 是 那个 金融账户 的 original 金额
No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	如果 有点 时间位置 是 命题 的 agreement 生效其间 和 另一个 时间位置 是 有点 时间位置 的 instance 和 公式 是 公式 的 instance 和 那个 公式 contains 那个 命题 的资料， 然后 那个 公式 在 那个 另外 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14016-14021	如果 时距 是 协议 的 agreement 週期 和 时点 是 那个 协议 的 agreement 生效日期， 然后 那个 协议 有 ActiveAgreement 的 attribute 在 time 开始在 那个 时点 并且 持续到 那个 时距 holdsDuring
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