No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	如果 客体 是 军用食品卡车 的 instance， 然后 那个 客体 能够担当 工具 的角色做 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2236-2246	如果 客体 是 坦克车 的 instance， 然后 有存在 那个 客体RANS 这样 那个 客体 能够担当 工具 的角色做 那个 客体RANS 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Communications.kif 394-396	如果 客体 是 电视接收器 的 instance， 然后 那个 客体 能够担当 受事 的角色做 电视广播
No TPTP formula. May not be expressible in strict first order.	Sports.kif 753-755	如果 客体 是 棒球队 的 instance， 然后 那个 客体 能够担当 主事 的角色做 棒球
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7527-7532	如果 客体 是 运动队 的 instance， 然后 有存在 有点 过程 这样 有点 过程 是 运动 的 subclass 和 那个 客体 能够担当 主事 的角色做 那个 有点 过程
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2026-2028	如果 客体 是 两栖车辆 的 instance， 然后 那个 客体 能够担当 工具 的角色做 登陆水域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17779-17781	如果 客体 是 陆地车辆 的 instance， 然后 那个 客体 能够担当 工具 的角色做 陆运
No TPTP formula. May not be expressible in strict first order.	WMD.kif 136-138	如果 客体 是 核武器 的 instance， 然后 那个 客体 能够担当 工具 的角色做 辐射核
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3408-3410	如果 客体 是 方向盘 的 instance， 然后 那个 客体 能够担当 工具 的角色做 方向改变
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16050-16052	如果 客体 是 武器 的 instance， 然后 那个 客体 能够担当 工具 的角色做 损坏
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14305-14311	如果 客体 是 录音 的 instance， 然后 有存在 实体 这样 那个 实体 是 放射声音 的 instance 和 那个 客体 表达 那个 实体 和 那个 客体 能够担当 受事 的角色做 放射声音
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21997-21999	如果 格角色 是 切割装置 的 instance， 然后 工具 能够担当 那个 格角色 的角色做 切开
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-129	如果 过程 是 DeletingData 的 instance， 然后 有存在 实体 这样 那个 实体 是 数字数据 的 instance 和 那个 实体 是 那个 过程 的 patient 和 不存在 另一个 实体 和 类 这样 那个 另外 实体 是 电脑程序 的 instance 和 那个 另外 实体 是 那个 类 的 instance 和 那个 另外 实体 不 是 RestoringData 的 instance 和 那个 实体 能够担当 受事 的角色做 那个 类 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2670-2692	如果 物理 是 键 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 锁 的 instance 和 那个 物理 能够担当 工具 的角色做 那个 另外 实体 所描述的类别 和 那个 物理 能够担当 工具 的角色做 那个 第三 实体 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14423-14425	如果 客体 是 音乐文本 的 instance， 然后 那个 客体 能够担当 受事 的角色做 制作音乐
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3783-3808	如果 群体 是 RemoteKeylessSystem 的 instance， 然后 有存在 客体， 物理,， ， 符号串， and 和 另一个 符号串 这样 那个 客体 是 键 的 instance 和 那个 客体 是 RemoteControl 的 instance 和 那个 客体 是 那个 群体 的 member 和 那个 物理 是 锁 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 客体 能够担当 工具 的角色做 那个 符号串 所描述的类别 和 那个 客体 能够担当 工具 的角色做 那个 另外 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 135-151	如果 过程 是 RestoringData 的 instance， 然后 有存在 另一个 过程， 实体,， ， 另一个 实体， and 和 类 这样 那个 另外 过程 是 DeletingData 的 instance 和 那个 另外 实体 是 数字数据 的 instance 和 那个 另外 实体 是 那个 过程 的 patient 和 那个 另外 实体 是 那个 另外 过程 的 patient 和 那个 另外 过程 出现 的 time 比那个 过程 出现 的 time发生的earlier 和 那个 实体 是 电脑程序 的 instance 和 那个 实体 是 那个 类 的 instance 和 那个 另外 实体 能够担当 受事 的角色做 那个 类 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7780-7788	如果 客体 是 零售店 的 instance， 然后 那个 客体 能够担当 主事 的角色做 出售 和 有存在 实体 和 过程 这样 那个 过程 是 出售 的 instance 和 那个 过程 在 那个 实体 结束 和 那个 实体 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5361-5363	如果 客体 是 毛巾 的 instance， 然后 那个 客体 能够担当 工具 的角色做 烘干
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14432-14438	如果 客体 是 视频录制 的 instance， 然后 有存在 实体 这样 那个 实体 是 过程 的 instance 和 那个 客体 表达 那个 实体 和 那个 客体 能够担当 受事 的角色做 放射光线
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26126-26135	如果 物理 是 Wheelchair 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 人类 的 instance 和 那个 另外 实体 不 能够担当 主事 的角色做 步行 和 那个 实体 是 运输 的 instance 和 那个 另外 实体 是 那个 实体 的 agent 和 那个 物理 是导致 那个 实体 的 instrument
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2231-2238	如果 施事体 有 VideoCheckOut ， 然后 有存在 客体 和 另一个 客体 这样 那个 客体 是 VideoDisplay 的 instance 和 那个 客体 能够担当 工具 的角色做 VideoCheckOut 和 那个 客体 是 located 在 那个 另外 客体 和 那个 另外 客体 是 那个 施事体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4061-4065	如果 人类 是 试验 的 qualified subject ， 然后 那个 试验 是 有点 过程 的 instance 和 那个 人类 能够担当 experimentalSubject 的角色做 有点 过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4102-4108	如果 人类 可以是 群体 的一部分， 然后 有存在 物理 和 有点 过程 这样 那个 物理 是 有点 过程 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 人类 能够担当 经历者 的角色做 那个 有点 过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	如果 数据库 是 catalog 对于 WebSite ， 然后 有存在 客体， 群体， and 和 符号串 这样 那个 群体 是 群体 的 instance 和 那个 客体 是 那个 数据库 的 part 和 那个 客体 表达 那个 群体 和 对所有 另一个 客体 如果 那个 另外 客体 是 那个 群体 的 member， 然后 那个 另外 客体 是 物理 的 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