No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17751-17753	如果 客体 是 水车 的 instance， 然后 那个 客体 能够担当 工具 的角色做 水运
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2946-2948	如果 客体 是 通讯设备 的 instance， 然后 那个 客体 能够担当 工具 的角色做 沟通
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15965-15968	如果 客体 是 设备 的 instance， 然后 有存在 有点 过程 这样 那个 客体 能够担当 工具 的角色做 有点 过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2538-2540	如果 客体 是 文件设备 的 instance， 然后 那个 客体 能够担当 工具 的角色做 表面变化
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4318-4320	如果 客体 是 持有人 的 instance， 然后 那个 客体 能够担当 工具 的角色做 保存
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15992-15994	如果 客体 是 运输设备 的 instance， 然后 那个 客体 能够担当 工具 的角色做 运输
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15441-15445	如果 客体 是 电梯 的 instance， 然后 那个 客体 能够担当 工具 的角色做 向上运动 和 那个 客体 能够担当 工具 的角色做 向下运动
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1161-1165	如果 实体 是 Exhaust 的 instance， 然后 那个 实体 能够担当 受事 的角色做 看 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1167-1172	如果 实体 是 Exhaust 的 instance， 然后 那个 实体 不 能够担当 受事 的角色做 看 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12158-12160	如果 客体 是 眼皮 的 instance， 然后 那个 客体 能够担当 工具 的角色做 遮盖
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12143-12145	如果 客体 是 耳 的 instance， 然后 那个 客体 能够担当 工具 的角色做 听
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15842-15844	如果 客体 是 爆炸 的 instance， 然后 那个 客体 能够担当 工具 的角色做 损坏
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12109-12111	如果 客体 是 眼睛 的 instance， 然后 那个 客体 能够担当 工具 的角色做 看
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	如果 客体 是 家具 的 instance， 然后 那个 客体 能够担当 移动 的角色做 易位
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5095-5097	如果 客体 是 LightBulb 的 instance， 然后 那个 客体 能够担当 工具 的角色做 放射光线
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3018-3020	如果 客体 是 灯具 的 instance， 然后 那个 客体 能够担当 工具 的角色做 放射光线
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20515-20517	如果 客体 是 植物 的 instance， 然后 那个 客体 能够担当 受事 的角色做 农业
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25489-25494	如果 实体 是 灭火器 的 instance， 然后 有存在 客体 这样 那个 客体 是 人类 的 instance 和 那个 客体 能够担当 工具 的角色做 携带
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 963-966	如果 客体 是 地面发射导弹 的 instance， 然后 那个 客体 不 能够担当 受事 的角色做 起飞
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1165-1167	如果 客体 是 枪 的 instance， 然后 那个 客体 能够担当 工具 的角色做 射击
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2489-2491	如果 客体 是 吊装设备 的 instance， 然后 那个 客体 能够担当 工具 的角色做 向下运动
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2485-2487	如果 客体 是 吊装设备 的 instance， 然后 那个 客体 能够担当 工具 的角色做 向上运动
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15275-15283	如果 物理 是 合页 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 物理 connects 那个 实体 和 那个 另外 实体 和 那个 实体 能够担当 受事 的角色做 旋转 或 那个 另外 实体 能够担当 受事 的角色做 旋转
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4484-4486	如果 客体 是 HandTool 的 instance， 然后 那个 客体 能够担当 objectTransferred 的角色做 携带
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12037-12039	如果 客体 是 肠 的 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