No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12646-12650	如果 客体 是 女王昆虫 的 instance， 然后 女 是 那个 客体 的 attribute 和 那个 客体 能够担当 主事 的角色做 复制
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12652-12664	如果 物理 是 女王昆虫 的 instance， 然后 有存在 群体 这样 那个 群体 是 群组 的 instance 和 那个 物理 是 那个 群体 的 member 和 不存在 客体 这样 那个 客体 是 那个 群体 的 member 和 那个 客体 能够担当 主事 的角色做 复制 和 那个 客体 不 equal 那个 物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15983-15985	如果 客体 是 乐器 的 instance， 然后 那个 客体 能够担当 工具 的角色做 制作音乐
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4019-4027	如果 自身连接物体 是 盖子 的 instance， 然后 有存在 另一个 自身连接物体 这样 那个 另外 自身连接物体 是 容器 的 instance 和 那个 自身连接物体 是 那个 另外 自身连接物体 的 part 和 那个 自身连接物体 能够担当 工具 的角色做 关闭 和 那个 自身连接物体 能够担当 工具 的角色做 开盘 和 那个 自身连接物体 是 那个 另外 自身连接物体 的 top
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1134-1136	如果 客体 是 抛射物发射器 的 instance， 然后 那个 客体 能够担当 工具 的角色做 射击
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15112-15116	如果 客体 是 阶梯 的 instance， 然后 那个 客体 能够担当 工具 的角色做 向上运动 和 那个 客体 能够担当 工具 的角色做 向下运动
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 526-528	如果 客体 是 LAR单位 的 instance， 然后 那个 客体 能够担当 主事 的角色做 反侦察
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 520-522	如果 客体 是 LAR单位 的 instance， 然后 那个 客体 能够担当 主事 的角色做 ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1939-1941	如果 客体 是 匹配设备 的 instance， 然后 那个 客体 能够担当 工具 的角色做 燃烧 的 start
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3686-3688	如果 客体 是 镜子 的 instance， 然后 那个 客体 能够担当 工具 的角色做 反射光
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1292-1298	如果 客体 是 莫洛托夫鸡尾酒 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 液体混合物 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 能够担当 受事 的角色做 燃烧
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20172-20175	如果 客体 是 马骡 的 instance， 然后 那个 客体 不 能够担当 主事 的角色做 有性繁殖
No TPTP formula. May not be expressible in strict first order.	Military.kif 197-202	如果 客体 是 军车 的 instance， 然后 施事体 是 军事力量 的 instance 和 那个 施事体 possesses 那个 客体 和 那个 客体 能够担当 受事 的角色做 军事过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12192-12194	如果 客体 是 鼻子 的 instance， 然后 那个 客体 能够担当 工具 的角色做 嗅
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	如果 客体 是 客体 的 instance， 然后 那个 客体 能够担当 终点 的角色做 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 854-856	如果 客体 是 客体 的 instance， 然后 那个 客体 能够担当 源头 的角色做 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10176-10178	如果 客体 是 生物 的 instance， 然后 那个 客体 能够担当 经历者 的角色做 生物过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12345-12347	如果 客体 是 生物 的 instance， 然后 那个 客体 能够担当 主事 的角色做 杀害
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12351	如果 客体 是 生物 的 instance， 然后 那个 客体 能够担当 受事 的角色做 杀害
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10171-10174	如果 客体 是 生物 的 instance， 然后 那个 客体 不 能够担当 主事 的角色做 生物过程
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 257-259	如果 客体 是 酶 的 instance， 然后 那个 客体 能够担当 催化剂 的角色做 化学过程
No TPTP formula. May not be expressible in strict first order.	Government.kif 1937-1939	如果 客体 是 立法组织 的 instance， 然后 那个 客体 能够担当 主事 的角色做 通过法案
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16684-16686	如果 客体 是 军事力量 的 instance， 然后 那个 客体 能够担当 主事 的角色做 暴力比赛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1357-1359	如果 客体 是 枪粉 的 instance， 然后 那个 客体 能够担当 工具 的角色做 爆炸
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3201-3203	如果 客体 是 涂料 的 instance， 然后 那个 客体 能够担当 工具 的角色做 染色
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