No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3258-3260	如果 客体 是 绘画装置 的 instance， 然后 那个 客体 能够担当 工具 的角色做 绘画
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	如果 客体 是 维和部队 的 instance， 然后 那个 客体 能够担当 主事 的角色做 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7292-7294	如果 客体 是 餐厅建筑 的 instance， 然后 那个 客体 能够担当 eventLocated 的角色做 烹饪
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5426-5428	如果 客体 是 口袋 的 instance， 然后 那个 客体 能够担当 工具 的角色做 保存
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8961-8963	如果 客体 是 掉出来 的 instance， 然后 那个 客体 能够担当 工具 的角色做 辐射核
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1117-1119	如果 客体 是 抛射物 的 instance， 然后 那个 客体 能够担当 受事 的角色做 射击
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2370-2372	如果 客体 是 舷梯 的 instance， 然后 那个 客体 能够担当 路径 的角色做 向下运动
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2366-2368	如果 客体 是 舷梯 的 instance， 然后 那个 客体 能够担当 路径 的角色做 向上运动
No TPTP formula. May not be expressible in strict first order.	engineering.kif 783-785	如果 客体 是 转子 的 instance， 然后 那个 客体 能够担当 工具 的角色做 旋转
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2594-2596	如果 客体 是 雷达 的 instance， 然后 那个 客体 能够担当 主事 的角色做 辐射电磁
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15801-15803	如果 客体 是 无线电接收器 的 instance， 然后 那个 客体 能够担当 受事 的角色做 无线电广播
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2452-2455	如果 客体 是 NonRechargeableBattery 的 instance， 然后 那个 客体 不 能够担当 终点 的角色做 Charging
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2443-2445	如果 客体 是 RechargeableBattery 的 instance， 然后 那个 客体 能够担当 终点 的角色做 Charging
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17864-17866	如果 客体 是 爆炸性物质 的 instance， 然后 那个 客体 能够担当 工具 的角色做 爆炸
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6578-6580	如果 客体 是 Saliva 的 instance， 然后 那个 客体 能够担当 受事 的角色做 Drooling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5622-5624	如果 客体 是 针线活 的 instance， 然后 那个 客体 能够担当 受事 的角色做 服装
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5618-5620	如果 客体 是 针线活 的 instance， 然后 那个 客体 能够担当 受事 的角色做 织品
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2911-2913	如果 客体 是 泥 的 instance， 然后 那个 客体 能够担当 受事 的角色做 盐碱
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15066-15070	如果 客体 是 楼梯 的 instance， 然后 那个 客体 能够担当 工具 的角色做 向上运动 和 那个 客体 能够担当 工具 的角色做 向下运动
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12028-12030	如果 客体 是 胃 的 instance， 然后 那个 客体 能够担当 工具 的角色做 消化
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2907-2909	如果 客体 是 水 的 instance， 然后 那个 客体 能够担当 受事 的角色做 盐碱
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4326-4337	如果 客体 是 鞍 的 instance， 然后 有存在 符号串 这样 那个 客体 能够担当 工具 的角色做 那个 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2626-2628	如果 客体 是 声纳 的 instance， 然后 那个 客体 能够担当 主事 的角色做 放射声音
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	如果 客体 是 SpeakerDevice 的 instance， 然后 那个 客体 能够担当 工具 的角色做 放射声音
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15090-15094	如果 客体 是 脚步 的 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