No TPTP formula. May not be expressible in strict first order.	Weather.kif 1486-1497	如果 实数 equal 方差均差函数 另一个 实数 and 串列 和 1 equal 那个 串列 的长度， 然后 那个 实数 equal (那个 另外 实数 和 那个 串列 的第 1 几个元素) 和 (那个 另外 实数 和 那个 串列 的第 1 几个元素)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	如果 实数 equal 方差均差函数 数字 and 串列 和 那个 串列 的长度 是 greaterThan 1， 然后 那个 实数 equal (方差均差函数 那个 数字 and 那个 串列 的第 1 几个元素 和 方差均差函数 那个 数字 and SubListFn 2, 那个 串列 的长度 and 那个 串列)
No TPTP formula. May not be expressible in strict first order.	Media.kif 2106-2113	如果 那只能是 1 values 对于 关系 的参数 正整数 和 那个 关系 是 谓语 的 instance 和 那个 关系 @ARGS 和 另一个 实体 equal (@ARGS) 的第 那个 正整数 几个元素 和 第三 实体 equal (@ARGS) 的第 那个 正整数 几个元素， 然后 那个 另外 实体 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	如果 那只能是 1 values 对于 关系 的参数 正整数 和 那个 关系 是 谓语 的 instance 和 那个 关系 @ARGS 和 另一个 实体 equal (@ARGS) 的第 那个 正整数 几个元素， 然后 不存在 第三 实体 这样 那个 第三 实体 equal (@ARGS) 的第 那个 正整数 几个元素 和 那个 另外 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 2075-2090	如果 那只能是 1 values 对于 关系 的参数 正整数 和 那个 关系 是 谓语 的 instance， 然后 有存在 实体 和 @ARGS 这样 那个 关系 @ARGS 和 那个 实体 equal (@ARGS) 的第 那个 正整数 几个元素 和 不存在 第三 实体 这样 那个 第三 实体 equal (@ARGS) 的第 那个 正整数 几个元素 和 那个 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	如果 那只能是 整数 values 对于 关系 的参数 正整数 和 那个 关系 是 谓语 的 instance， 然后 有存在 类， 实体， and 和 @ARGS 这样 那个 类 是 集或类 的 instance 和 如果 那个 关系 @ARGS 和 那个 实体 equal (@ARGS) 的第 那个 正整数 几个元素， 然后 那个 实体 是 那个 类 的 instance 和 那个 类 instance 的数量 equal 那个 整数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1064-1068	如果 商船 对 非负整数 由来源 地缘政治区域 fOC 船只 和 那个 商船 equal 另一个 地缘政治区域 的 merchant 海洋， 然后 那个 地缘政治区域 不 equal 那个 另外 地缘政治区域
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	如果 被驱逐 是 实体 的 attribute 和 那个 实体 是 另一个 实体-NATION 的 citizen 在 时间位置 holdsDuring 和 那个 时间位置 是 时距 的 instance， 然后 有存在 过程 和 客体 这样 那个 客体 是 国家 的 instance 和 那个 客体 不 equal 那个 另外 实体-NATION 和 那个 过程 是 易位 的 instance 和 那个 客体 是 那个 过程 的源头 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 在 那个 另外 实体-NATION 结束 和 那个 时间位置 时段 是 那个 过程 出现 的 time 时段 的一 part
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	如果 平民流离失所 是 实体 的 attribute 和 那个 实体 住在 另一个 实体 和 那个 另外 实体 是 located 在 地理区域 在 时距 holdsDuring 和 那个 地理区域 是 地理区域 的 instance 和 那个 时距 是 时距 的 instance， 然后 有存在 另一个 时距， 第三 实体-PLACE， and 和 那个 第三 实体-RES 这样 那个 另外 时距 是 时距 的 instance 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 第三 实体-RES 是 客体 的 instance 和 那个 第三 实体-PLACE 是 地缘政治区域 的 instance 和 那个 第三 实体-RES 是 located 在 那个 第三 实体-PLACE 和 那个 地理区域 不 equal 那个 第三 实体-PLACE 和 那个 另外 实体 不 equal 那个 第三 实体-RES 和 那个 地理区域 不 是 那个 第三 实体-PLACE 的 geographic 次要地区 和 那个 第三 实体-PLACE 不 是 那个 地理区域 的 geographic 次要地区 和 那个 实体 住在 那个 第三 实体-RES 在 那个 另外 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1966-1973	如果 实体 是 连续时间间隔表列 的 member 和 那个 连续时间间隔表列 equal 时距 的 持续时间 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数)， 然后 那个 时距 的开始 equal 那个 连续时间间隔表列 的 first 的开始
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2640-2645	如果 公式 和 另一个 公式 各自独立发生的机率是 %n 和 那个 另外 公式 的机率 equal 实数 和 如果 那个 另外 公式 是正确， 那 那个 公式 的机率就 是 另一个 实数， 然后 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17203	如果 过程 是 加速 的 instance 和 时距 equal 那个 过程 出现 的 time 和 施事体 经历了 那个 过程， 然后 不存在 另一个 过程 这样 那个 另外 过程 是 减速 的 instance 和 那个 施事体 经历了 那个 另外 过程 和 那个 时距 equal 那个 另外 过程 出现 的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	如果 过程 是 走动 的 instance 和 另一个 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 步进 的 instance 和 第三 过程%n是那个 过程的subProcess 和 那个 第三 过程 是 步进 的 instance 和 那个 另外 过程START equal 那个 另外 过程 出现 的 time 的开始 和 那个 第三 过程START equal 那个 第三 过程 出现 的 time 的开始 和 那个 另外 过程START%n在那个 第三 过程STARTbefore发生 和 那个 第三 过程START%n在那个 另外 过程STARTbefore发生， 然后 那个 另外 过程 equal 那个 第三 过程
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	如果 属性 是 CoffeeGrindAttribute 的 instance 和 那个 属性 是 客体 的 attribute 和 那个 客体 是 CoffeeGrind 的 instance， 然后 有存在 实数 和 物理量 这样 grainSize 那个 客体 and 那个 实数 和 那个 物理量 是 长度测量 的 instance 和 那个 物理量 equal 那个 实数 毫米
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和 实体 是 WebPage 的 instance 和 过程 是 数据传输 的 instance 和 客体 是 服务器 的 instance 和 另一个 过程 是 要求 的 instance 和 施事体 是 WebBrowser 的 instance 和 时距 是 时距 的 instance 和 那个 实体 是 那个 AccessingWebPage 的 patient 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 客体 结束 和 那个 实体 是 那个 另外 过程 的 patient 和 那个 客体 是 那个 过程 的源头 和 那个 过程 在 那个 施事体 结束 和 那个 实体 是 那个 过程 的 patient 和 那个 过程%n是那个 AccessingWebPage的subProcess 和 那个 另外 过程%n是那个 AccessingWebPage的subProcess 和 那个 另外 过程 出现 的 time 的结束 equal 那个 时距 的开始 和 那个 过程 出现 的 time 的结束 equal 那个 时距 的结束， 然后 access 的时间在 那个 AccessingWebPage equal 那个 时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	如果 施事体 是 施事体 的 instance 和 WebSite 是 WebSite 的 instance， 然后 有存在 群体 这样 那个 群体 是 群体 的 instance 和 对所有 WebListing 如果 那个 WebListing 是 WebListing 的 instance 和 那个 WebListing 是在 那个 WebSite hosted 和 那个 施事体 sells 那个 WebListing ， 然后 那个 WebListing 是 那个 群体 的 member 和 样品对于 sale 由 那个 施事体 在 那个 WebSite equal 那个 群体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	如果 过程 是 走动 的 instance 和 时距 equal 那个 过程 出现 的 time， 然后 有存在 另一个 过程 和 第三 过程 这样 那个 另外 过程 是 步进 的 instance 和 那个 第三 过程 是 步进 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess 和 那个 另外 过程 出现 的 time starts了才到 那个 时距 和 那个 第三 过程 出现 的 time finishes了才到 那个 时距 和 那个 另外 过程 不 equal 那个 第三 过程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	如果 地理区域 是 地理区域 的 instance 和 那个 地理区域 的 elevation 高点 是 那个 地理区域 的 geographic 次要地区 和 实数 测量单位 是 那个 地理区域 的 elevation 高点 的 elevation ， 然后 不存在 另一个 地理区域 和 另一个 实数 这样 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 不 equal 那个 地理区域 的 elevation 高点 和 那个 另外 实数 那个 测量单位 是 那个 另外 地理区域 的 elevation 和 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	如果 地理区域 是 地理区域 的 instance 和 那个 地理区域 的 elevation 低点 是 那个 地理区域 的 geographic 次要地区 和 测量单位 是 UnitOfLength 的 instance 和 实数 那个 测量单位 是 那个 地理区域 的 elevation 低点 的 elevation ， 然后 不存在 另一个 地理区域 和 另一个 实数 这样 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 不 equal 那个 地理区域 的 elevation 低点 和 那个 另外 实数 那个 测量单位 是 那个 另外 地理区域 的 elevation 和 那个 另外 实数 是 lessThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14682-14691	如果 内容承载物理 是 文章 的 instance 和 另一个 内容承载物理 是 书 的 instance 和 那个 另外 内容承载物理 包含 那个 内容承载物理 的内容， 然后 有存在 第三 内容承载物理 这样 那个 第三 内容承载物理 是 文章 的 instance 和 那个 第三 内容承载物理 不 equal 那个 内容承载物理 和 那个 另外 内容承载物理 包含 那个 第三 内容承载物理 的内容
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	如果 时距 是 AddToCart 的 instance 和 实体 是 客体 的 instance 和 那个 实体 是 那个 时距 的 patient 和 施事体 是 那个 时距 的 agent， 然后 有存在 群体， WebSite,， ， 时间位置， and 和 另一个 时距 这样 那个 群体 是 群体 的 instance 和 那个 WebSite 是 WebSite 的 instance 和 那个 另外 时距 是 时距 的 instance 和 使用者 那个 施事体 在 那个 WebSite 有 cart 那个 群体 和 那个 另外 时距 的开始 equal 那个 时距 的结束 和 那个 实体 是 那个 群体 的 member 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 Auctioning 的 instance ， 然后 有存在 符号串 和 实体_PURCHASE_AMOUNT 这样 total 价值在 那个 符号串 所描述的类别 是 那个 实体_PURCHASE_AMOUNT 和 那个 群体 的 total purchase price equal 那个 实体_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	如果 过程 是 封锁 的 instance 和 比赛 是 比赛 的 instance 和 那个 过程%n是那个 比赛的subProcess 和 施事体 participates 在 那个 比赛 和 那个 施事体 是 那个 过程 的 agent， 然后 有存在 那个 比赛1 和 有认知的主事 这样 那个 比赛1 prevents 易位 的发生 和 那个 过程 是 那个 比赛1 的 instance 和 那个 有认知的主事 participates 在 那个 比赛 和 那个 施事体 不 equal 那个 有认知的主事 和 那个 有认知的主事 desires 有存在 另一个 实体 这样 那个 另外 实体 是 那个 比赛1 的 instance 和 那个 施事体 是 那个 另外 实体 的 agent 和 那个 另外 实体%n是那个 比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21474-21489	如果 过程 是 脸红 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 时距， 另一个 时距,， ， 实体， and 和 另一个 实体 这样 那个 实体 是 情绪状态 的 instance 和 那个 另外 实体 是 情绪状态 的 instance 和 那个 实体 不 equal 那个 另外 实体 和 那个 实体 是 那个 施事体 的 attribute 在 那个 时距 holdsDuring 和 那个 另外 实体 是 那个 施事体 的 attribute 在 那个 另外 时距 holdsDuring 和 那个 过程 出现 的 time starts了才到 那个 另外 时距 和 那个 过程 出现 的 time finishes了才到 那个 时距
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	如果 过程 是 Braking 的 instance 和 实体 是 那个 过程 的 patient， 然后 实数 英里每小時 equal AccelerationFn 另一个 实体, 第三 实体, 那个 实体 and 第四 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 另一个 实数 英里每小時 equal AccelerationFn 那个 另外 实体, 那个 第三 实体, 那个 实体 and 那个 第四 实体 在 紧接 那个 过程 出现 的 time after holdsDuring 和 那个 实数 是 greaterThan 那个 另外 实数
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