No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15795-15797	如果 客体 是 音乐文本 的 instance， 然后 那个 客体 能够担当 受事 的角色做 制作音乐
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3836-3861	如果 群体 是 RemoteKeylessSystem 的 instance， 然后 有存在 客体， 物理,， ， 符号串， and 和 另一个 符号串 这样 那个 客体 是 键 的 instance 和 那个 客体 是 RemoteControl 的 instance 和 那个 客体 是 那个 群体 的 member 和 那个 物理 是 锁 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 客体 能够担当 工具 的角色做 那个 符号串 所描述的类别 和 那个 客体 能够担当 工具 的角色做 那个 另外 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 136-152	如果 过程 是 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 8948-8956	如果 客体 是 零售店 的 instance， 然后 那个 客体 能够担当 主事 的角色做 出售 和 有存在 实体 和 过程 这样 那个 过程 是 出售 的 instance 和 那个 过程 在 那个 实体 结束 和 那个 实体 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6299-6301	如果 客体 是 毛巾 的 instance， 然后 那个 客体 能够担当 工具 的角色做 烘干
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15804-15810	如果 客体 是 视频录制 的 instance， 然后 有存在 实体 这样 那个 实体 是 过程 的 instance 和 那个 客体 表达 那个 实体 和 那个 客体 能够担当 受事 的角色做 放射光线
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28038-28047	如果 物理 是 Wheelchair 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 人类 的 instance 和 那个 另外 实体 不 能够担当 主事 的角色做 步行 和 那个 实体 是 运输 的 instance 和 那个 另外 实体 是 那个 实体 的 agent 和 那个 物理 是导致 那个 实体 的 instrument
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2242-2249	如果 施事体 有 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 和 那个 另外 客体 能够担当 受事 的角色做 那个 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Government.kif 1068-1080	如果 普选法 是 国家 的 regional 法律 的 subProposition， 然后 对所有 人类， 选举,， ， 实数， and 和 另一个 实数 如果 那个 人类 是 那个 国家 的 citizen 和 那个 实数 年持续时间 是 那个 国家 的 suffrage 最小年纪 和 那个 人类 的 age 是 那个 另外 实数 年持续时间 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数 和 那个 选举 是 那个 国家 的 election 的 instance， 然后 那个 人类 能够担当 主事 的角色做 那个 选举 的 voting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25636-25638	如果 有点 过程 是 Fertilisation 的 subclass， 然后 生物 能够担当 受事 的角色做 有点 过程
No TPTP formula. May not be expressible in strict first order.	Law.kif 390-394	如果 trusts 有认知的主事, 施事体 and 那个 施事体 能够担当 主事 的角色做 实体， 然后 那个 有认知的主事 knows 那个 施事体 能够担当 主事 的角色做 那个 实体

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