No TPTP formula. May not be expressible in strict first order.	Merge.kif 5130-5142	如果 整数 模除 另一个 整数 equal 第三 整数 和 那个 第三 整数 不 equal 0 和 那个 整数 不 equal 0 和 那个 另外 整数 不 equal 0， 然后 那个 另外 整数 的正或负值 equal 那个 第三 整数 的正或负值
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	如果 整数 模除 另一个 整数 equal 第三 整数 和 那个 另外 整数 不 equal 0， 然后 (取 那个 整数 和 那个 另外 整数 的底整数 和 那个 另外 整数 和 那个 第三 整数) equal 那个 整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18342-18357	如果 机构 equal DepartmentOfFn 另一个 机构 and 有点 物理 和 那个 机构2 是 那个 另外 机构 Organization 的一部分 和 那个 机构 不 equal 那个 机构2 和 实体 是 有点 物理 的 instance 和 那个 机构 对 那个 实体 感兴趣 和 实数 equal 那个 机构 是 另一个 实体 的 agent 的机率 和 那个 另外 实体2 equal 那个 机构2 是 那个 另外 实体 的 agent 的机率， 然后 那个 实数 是 greaterThan 那个 另外 实体2
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	如果 客体 equal 另一个 客体 和 第三 客体 之间线路 和 第四 客体 是 那个 客体 的 part 和 第五 客体 是 那个 客体 的 part 和 那个 第四 客体 不 equal 那个 第五 客体 和 那个 客体2 equal 那个 第四 客体 和 那个 第五 客体 之间线路， 然后 那个 客体2 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3083-3102	如果 串列 equal List包含 另一个 串列 和 第三 串列 和 那个 另外 串列 不 equal 空列表 和 那个 第三 串列 不 equal 空列表 和 正整数 是 lessThanOrEqualTo 那个 另外 串列 的长度 和 另一个 正整数 是 lessThanOrEqualTo 那个 第三 串列 的长度 和 那个 正整数 是 正整数 的 instance 和 那个 另外 正整数 是 正整数 的 instance， 然后 那个 串列 的第 那个 正整数 几个元素 equal 那个 另外 串列 的第 那个 正整数 几个元素 和 那个 串列 的第 (那个 另外 串列 的长度 和 那个 另外 正整数) 几个元素 equal 那个 第三 串列 的第 那个 另外 正整数 几个元素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5790-5799	如果 图弧 是 图 的 part 和 另一个 图弧 是 那个 图 的 part 和 图节点 是 那个 图 的 part 和 另一个 图节点 是 那个 图 的 part 和 那个 图弧 links 那个 图节点 和 那个 另外 图节点 和 那个 另外 图弧 links 那个 图节点 和 那个 另外 图节点 和 那个 图弧 不 equal 那个 另外 图弧， 然后 那个 图 是 多重图 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6062-6068	如果 图元素 是 图 的 part 和 那个 图 不 是 有向图 的 instance， 然后 那个 图元素 是 图节点 和 另一个 图节点 的路径集 Set 的 instance 若且唯若 那个 图元素 是 那个 另外 图节点 和 那个 图节点 的路径集 Set 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	如果 有认知的主事 有 account 用户帐号 和 那个 用户帐号 有 password 电脑密码 和 deviceAccount 那个 用户帐号 and 电脑 和 那个 有认知的主事 doesn't knows 那个 用户帐号 有 password 那个 电脑密码 和 那个 有认知的主事 knows recoveryKey 实体 and 那个 用户帐号 和 那个 有认知的主事 possesses 那个 电脑， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 ChangingPassword 的 instance 和 那个 用户帐号 是 那个 另外 实体 的 patient 和 那个 有认知的主事 是 那个 另外 实体 的 agent 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2120-2131	如果 GUIElement 有 state GUE_UncoveredState 和 那个 GUIElement 有 state GUE_MaximizedWindowState 和 那个 GUIElement 是 displayed 在 ComputerScreen 和 另一个 GUIElement 是 InterfaceWindow 的 instance 和 那个 另外 GUIElement 是 displayed 在 那个 ComputerScreen 和 那个 GUIElement 不 equal 那个 另外 GUIElement， 然后 那个 另外 GUIElement 有 state GUE_CoveredState 或 那个 另外 GUIElement 有 state GUE_PartiallyCoveredState 或 那个 另外 GUIElement 有 state GUE_OffscreenState
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30650-30671	如果 Dieting 是 施事体 的 attribute 在 时距 holdsDuring 和 Dieting 不 是 那个 施事体 的 attribute 在 另一个 时距 holdsDuring 和 客体 是 Meal 的 instance 和 过程 是 进食 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 过程 的 resource 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 客体 的 measure 是 实数 卡路里 和 另一个 客体 是 Meal 的 instance 和 另一个 过程 是 进食 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 客体 是 那个 另外 过程 的 resource 和 那个 另外 过程 出现 的 time 在 那个 另外 时距 时段内发生 和 那个 另外 客体 的 measure 是 另一个 实数 卡路里， 然后 那个 另外 实数 是 greaterThan 那个 实数 的声明 has 容易 的语气
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.	Merge.kif 12405-12419	如果 过程 是 连接 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 是 那个 过程 的 patient 和 那个 实体 和 那个 另外 实体 不 是 connected 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 和 那个 另外 实体 是 connected 在 那个 过程 出现 的 time 的结束 holdsDuring， 然后 objectAttached 那个 过程 and 那个 实体 和 objectAttached 那个 过程 and 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 853-866	如果 物理系统 是 汽车 的 instance 和 另一个 物理系统 是 汽车 的 instance 和 客体 是 AutomobileShock 的 instance 和 那个 客体 是 那个 物理系统 的 part 和 不存在 另一个 客体 这样 那个 另外 客体 是 AutomobileShock 的 instance 和 那个 另外 客体 是 那个 另外 物理系统 的 part 和 dampingRatio 那个 物理系统 and 实数 和 dampingRatio 那个 另外 物理系统 and 另一个 实数， 然后 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	如果 施事体 是 施事体 的 instance 和 有认知的主事 是个 potential customer 对于 那个 施事体 和 实体 是 Reserving 的 instance 和 那个 实体 在 那个 施事体 结束 的声明 has 必要性 的语气 和 如果 那个 施事体 是 那个 有认知的主事 的 customer 是正确， 那 有存在 那个 实体ES1 这样 那个 实体ES1 是 Reservation 的 instance 和 那个 有认知的主事 reserves 那个 实体ES1 和 那个 施事体 fulfills 那个 实体ES1 的机率就 是 实数 和 如果 那个 施事体 是 那个 有认知的主事 的 customer 是正确， 那 不存在 那个 实体ES2 这样 那个 实体ES2 是 Reservation 的 instance 和 那个 有认知的主事 reserves 那个 实体ES2 和 那个 施事体 fulfills 那个 实体ES2 的机率就 是 另一个 实数， 然后 那个 另外 实数 是 lessThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	如果 施事体 是 动物 的 instance 和 属性 是 疾病或综合症 的 instance 和 那个 属性 不 是 那个 施事体 的 attribute， 然后 有存在 转移 和 客体 这样 那个 转移 是 生物过程 的 instance 和 那个 转移 是 移除 的 instance 和 那个 施事体 是 那个 转移 的源头 和 那个 客体 是 污水 的 instance 和 那个 施事体 是 那个 转移 的 agent 和 objectTransferred 那个 转移 and 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5015-5024	如果 客体 是 气泡 的 instance 和 不存在 另一个 客体 和 属性 这样 那个 属性 是 那个 另外 客体 的 attribute 和 那个 另外 客体 不 equal 加油站 和 那个 另外 客体 接上 那个 客体， 然后 中凸的圆形 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4089-4121	如果 客体 是 BimetalTemperatureSensor 的 instance 和 另一个 客体 是 金属 的 instance 和 第三 客体 是 金属 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part 和 实体 是 温度测量 的 instance 和 另一个 实体 是 温度测量 的 instance 和 实数 是 长度测量 的 instance 和 另一个 实数 是 长度测量 的 instance 和 第三 实数 是 长度测量 的 instance 和 第四 实数 是 长度测量 的 instance 和 那个 实体 不 equal 那个 另外 实体 和 时间位置 不 equal 另一个 时间位置 和 那个 客体 的 measure 是 那个 实体 和 那个 另外 客体 的 measure 是 那个 实数 和 那个 第三 客体 的 measure 是 那个 另外 实数 在 那个 时间位置 holdsDuring 和 那个 客体 的 measure 是 那个 另外 实体 和 那个 另外 客体 的 measure 是 那个 第三 实数 和 那个 第三 客体 的 measure 是 那个 第四 实数 在 那个 另外 时间位置 holdsDuring， 然后 那个 实数 和 那个 另外 实数 不 equal 那个 第三 实数 和 那个 第四 实数
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	如果 群体 是 护航 的 instance 和 施事体 是 那个 群体 的 member 和 另一个 施事体 是 那个 群体 的 member 和 那个 施事体 不 equal 那个 另外 施事体， 然后 有存在 过程， 另一个 过程， and 和 实体 这样 那个 过程 是 运输 的 instance 和 那个 另外 过程 是 运输 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 过程 在 那个 实体 结束 和 那个 另外 过程 在 那个 实体 结束
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果 客体 是 水晶 的 instance 和 单晶结构 是 那个 客体 的 attribute 和 自身连接物体 是 物质 的 instance 和 固体 是 那个 自身连接物体 的 attribute 和 多晶结构 是 那个 自身连接物体 的 attribute 和 另一个 自身连接物体 是 物质 的 instance 和 那个 另外 自身连接物体 是 那个 自身连接物体 的 surface 和 那个 客体 不 是 那个 另外 自身连接物体 的 part， 然后 有存在 那个 客体LNT， 整数， and 和 另一个 客体 这样 那个 客体LNT 是 群体 的 instance 和 那个 整数 是 那个 客体LNT 的 member 计数 和 那个 整数 是 greaterThanOrEqualTo 4 和 如果 那个 另外 客体 是 那个 客体LNT 的 member， 然后 那个 另外 客体 是 那个 自身连接物体 的 part 和 那个 客体 接上 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Media.kif 224-231	如果 过程 是 InPersonCommunication 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 是 那个 过程 的 agent 和 那个 施事体 不 equal 那个 另外 施事体， 然后 那个 施事体 在 那个 另外 施事体 的 近 在 那个 过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	如果 实体 是 COVIDAntibody 的 instance 和 Covid19 不 是 另一个 实体 的 attribute 和 那个 实体 是 那个 另外 实体 的 part 在 时间位置 holdsDuring， 然后 Covid19 是 那个 另外 实体 的 attribute 的声明 has 较不可能 的语气 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2746-2754	如果 客体 是 连接线 的 instance 和 另一个 客体 不 是 Cable 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 那个 另外 客体 是 公 的 instance 或 那个 另外 客体 是 母 的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	如果 地缘政治区域 是 美国城市 的 instance 和 那个 地缘政治区域 是 加州 的 part 和 那个 地缘政治区域 不 equal 洛杉矶加利福尼亚州， 然后 洛杉矶加利福尼亚州 的 resident instance 的数量 是 greaterThan 那个 地缘政治区域 的 resident instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	如果 群体 是 群体 的 instance 和 WebSite 是 WebSite 的 instance 和 施事体 是 施事体 的 instance 和 WebListing 是 WebListing 的 instance 和 时点 是 时点 的 instance 和 那个 施事体 sells 那个 WebListing 和 那个 WebListing 不 是 那个 群体 的 member 和 对所有 物理 和 另一个 物理 如果 那个 物理 是 WebListing 的 instance 和 那个 物理 是 样品对于 sale 由 那个 施事体 在 那个 WebSite 的 member 和 那个 时点 时段 是 那个 物理 出现 的 time 时段 的一 part 和 那个 物理 不 equal 那个 WebListing， 然后 那个 物理 是 那个 群体 的 member 和 如果 那个 另外 物理 是 那个 群体 的 member， 然后 那个 时点 时段 是 那个 物理 出现 的 time 时段 的一 part 和 那个 另外 物理 是 WebListing 的 instance ， 然后 东西对于 sale 由 那个 施事体 非列在 那个 WebListing 在 那个 WebSite 期间 那个 时点 equal 那个 群体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 876-887	如果 群体 是 HomologousChromosomeSet 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 真核细胞 的 part 和 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 另一个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 那个 MonoploidChromosomeSet 不 equal 那个 另外 MonoploidChromosomeSet， 然后 homologousChromosomePair 那个 MonoploidChromosomeSet and 那个 另外 MonoploidChromosomeSet
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