No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之 实数 在 信仰团体 的人相信 那个 信仰团体 若且唯若 有存在 群体， 另一个 群体,， ， 物理,， ， 那个 物理2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 物理 是 located 在 地理区域 和 那个 物理 是 那个 信仰团体 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	实数 percent 的人在 地理区域 是 民族群组 若且唯若 有存在 群体， 另一个 群体,， ， 物理,， ， 那个 物理2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 物理 是 located 在 那个 地理区域 和 那个 物理 是 那个 民族群组 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体， 另一个 群体,， ， 有感知的主事,， ， 那个 有感知的主事2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 有感知的主事 是 located 在 那个 地理区域 和 那个 有感知的主事 是 那个 群体 的 member 和 那个 语言 是 那个 有感知的主事 的 speaks 语言 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 有感知的主事2 是 located 在 那个 地理区域 和 那个 有感知的主事2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order.	Government.kif 3603-3605	物理 是 国际红十字和红新月运动 的 member 若且唯若 那个 物理 是 国际红十字会和红新月会联合会 的 member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	自身连接物体 在 时间位置 时 是 群体 的 member 若且唯若 那个 自身连接物体 是 那个 群体 的 member 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1297-1302	群体 是 另一个 群体 的 真正的子集 若且唯若 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 那个 另外 群体 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	如果 机构 的 member 是 客体 的 attribute 和 那个 客体 是 施事体 的 instance 和 那个 机构 是 机构 的 instance， 然后 那个 客体 是 那个 机构 的 member
No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	如果 属性 是 客体 的 attribute 和 那个 属性 是 基督教 的 instance， 然后 那个 客体 是 基督教 的 member
No TPTP formula. May not be expressible in strict first order.	Military.kif 249-253	如果 属性 是 客体 的 attribute 和 那个 属性 是 军衔 的 instance， 然后 那个 客体 是 兵役 的 member
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	如果 群体 是 施事体 的财产 的 element 和 那个 群体 是 RoomInventory 的 instance， 然后 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 那个 施事体 的财产 的 element
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10540-10549	如果 过程 是 机构性过程 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 机构 的 instance 或 有存在 群体 这样 那个 群体 是 机构 的 instance 和 那个 施事体 是 那个 群体 的 member
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10562-10571	如果 过程 是 宗教过程 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 宗教机构 的 instance 或 有存在 群体 这样 那个 施事体 是 那个 群体 的 member 和 那个 群体 是 宗教机构 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	如果 施事体 是 施事体 的 instance 和 WebSite 是 WebSite 的 instance， 然后 有存在 群体 这样 那个 群体 是 群体 的 instance 和 对所有 WebListing 如果 那个 WebListing 是 WebListing 的 instance 和 那个 WebListing 是在 那个 WebSite hosted 和 那个 施事体 sells 那个 WebListing ， 然后 那个 WebListing 是 那个 群体 的 member 和 样品对于 sale 由 那个 施事体 在 那个 WebSite equal 那个 群体
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	如果 客体 是 人类 的 instance 和 机构 是 机构 的 instance 和 地位 是 地位 的 instance 和 那个 地位 和 那个 机构 的 member 角色 是 那个 客体 的 attribute， 然后 那个 客体 是 那个 机构 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 3229-3233	如果 地缘政治区域 是 国家 的 instance 和 欧元 是 那个 地缘政治区域 的 currency 类别， 然后 那个 地缘政治区域 是 欧洲货币联盟 的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	如果 时距 是 AddToCart 的 instance 和 实体 是 客体 的 instance 和 那个 实体 是 那个 时距 的 patient 和 施事体 是 那个 时距 的 agent， 然后 有存在 群体， WebSite,， ， 时间位置， and 和 另一个 时距 这样 那个 群体 是 群体 的 instance 和 那个 WebSite 是 WebSite 的 instance 和 那个 另外 时距 是 时距 的 instance 和 使用者 那个 施事体 在 那个 WebSite 有 cart 那个 群体 和 那个 另外 时距 的开始 equal 那个 时距 的结束 和 那个 实体 是 那个 群体 的 member 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Military.kif 257-264	如果 属性 是 美国军衔 的 instance 和 那个 属性 是 客体 的 attribute， 然后 有存在 军事组织 这样 那个 客体 是 那个 军事组织 的 member 和 美国 是 那个 军事组织 的 military 区域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	如果 施事体 是 骑兵部队 的 instance 和 时距 是 战斗 的 instance 和 那个 施事体 是 那个 时距 的 agent， 然后 有存在 另一个 施事体， 实体， and 和 另一个 时距 这样 士兵 是 那个 另外 施事体 的 attribute 和 那个 另外 施事体 是 那个 施事体 的 member 和 那个 另外 时距 是 运输 的 instance 和 那个 另外 施事体 是 那个 另外 时距 的 agent 和 那个 实体 是 车辆 的 instance 和 那个 实体 是 那个 另外 时距 的 patient 和 那个 另外 时距 在 那个 时距 时段内发生
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果 客体 是 水晶 的 instance 和 单晶结构 是 那个 客体 的 attribute 和 自身连接物体 是 物质 的 instance 和 固体 是 那个 自身连接物体 的 attribute 和 多晶结构 是 那个 自身连接物体 的 attribute 和 另一个 自身连接物体 是 物质 的 instance 和 那个 另外 自身连接物体 是 那个 自身连接物体 的 surface 和 那个 客体 不 是 那个 另外 自身连接物体 的 part， 然后 有存在 那个 客体LNT， 整数， and 和 另一个 客体 这样 那个 客体LNT 是 群体 的 instance 和 那个 整数 是 那个 客体LNT 的 member 计数 和 那个 整数 是 greaterThanOrEqualTo 4 和 如果 那个 另外 客体 是 那个 客体LNT 的 member， 然后 那个 另外 客体 是 那个 自身连接物体 的 part 和 那个 客体 接上 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 金融交易 的 instance ， 然后 有存在 符号串 和 实体 这样 那个 符号串 所描述的类别 instance 的数量 equal 在 那个 群体 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 WebListing 的 instance ， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 所描述的类别 instance 的数量 和 那个 群体 instance 的数量 equal 在 那个 群体 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 WebListing 的 instance ， 然后 有存在 符号串， 实体,， ， 另一个 实体， and 和 那个 符号串 这样 那个 符号串 所描述的类别 instance 的数量 equal 在 那个 群体 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	如果 过程 是 疏散 的 instance 和 机构 是 那个 过程 的 agent 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 分类 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 经历了 那个 另外 过程 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	如果 过程 是 疏散 的 instance 和 机构 是 那个 过程 的 agent 和 客体 是 那个 过程 的源头， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 易位 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 客体 是 那个 另外 过程 的源头 和 那个 另外 过程A 经历了 那个 另外 过程 或 那个 另外 过程A 是 那个 另外 过程 的 agent 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	如果 过程 是 疏散 的 instance 和 施事体 经历了 那个 过程 和 机构 是 那个 过程 的 agent， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 治疗过程 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent 和 那个 施事体 经历了 那个 另外 过程
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