No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	如果 过程 是 过程 的 instance 和 试验 是 试验 的 instance 和 另一个 过程 是 施事体 的 instance 和 施事体 经历了 那个 另外 过程 和 那个 过程 在 那个 试验 的 process ， 然后 有存在 实体_GROUP 这样 那个 实体_GROUP 是 群体 的 instance 和 那个 另外 过程 是 那个 实体_GROUP 的 member 和 那个 实体_GROUP 是 treatment group 在 那个 试验
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1596-1603	如果 过程 是 WatchItem 的 instance 和 有认知的主事 是 施事体 的 instance 和 实体 是 客体 的 instance 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient， 然后 那个 有认知的主事 对 那个 实体 感兴趣
No TPTP formula. May not be expressible in strict first order.	Media.kif 3429-3433	如果 施事体 的名 是 符号串 和 那个 施事体 是 施事体 的 instance， 然后 那个 施事体 的 name 是 那个 符号串
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	如果 实体 不 是 施事体 的 instance 和 Motionless 是 那个 实体 的 attribute 在 时距 holdsDuring， 然后 不存在 过程 这样 那个 过程 是 运动 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 出现 的 time 在 那个 时距 时段内发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3062-3075	如果 施事体 believes 另一个 施事体 是 属性 和 那个 属性 是 FoodRating 的 instance 和 那个 另外 施事体 是 施事体 的 instance， 然后 有存在 实体， 过程， and 和 另一个 过程 这样 那个 过程 是 烹饪 的 instance 和 那个 另外 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 result 和 那个 另外 过程 是 分类 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 实体 结束 和 那个 属性 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3091-3103	如果 施事体 believes 另一个 施事体 是 属性 和 那个 属性 是 ServiceRating 的 instance 和 那个 另外 施事体 是 施事体 的 instance， 然后 有存在 过程 和 另一个 过程 这样 那个 过程 是 服务 的 instance 和 那个 另外 施事体 是 那个 过程 的 agent 和 那个 另外 过程 是 分类 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 过程 结束 和 那个 属性 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	如果 有点 自身连接物体 是 对于交通类别 地区 的 trafficable 和 有点 自身连接物体 是 施事体 的 subclass 和 客体 是 那个 有点 自身连接物体 的 instance， 然后 易位 capable 在地点 主事 对于 那个 客体 跟 那个 地区 在一起
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13015-13017	如果 客体 是 施事体 的 instance， 然后 那个 客体 能够担当 主事 的角色做 社交
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1561-1564	如果 客体 是 施事体 的 instance， 然后 有存在 有点 过程 这样 那个 客体 能够担当 主事 的角色做 有点 过程

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