forall - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65833-65833

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	实体是人类的 instance 和对所有另一个实体那个另外实体 doesn't employs 那个实体在时间位置 holdsDuring 若且唯若失业的是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	如果寒冷气候带是地理区域地区的 climate 类别和对所有时距那个时距是月的 instance 和 1 对于 %3 在 %2 周期的 average 温度，然后 10.0 是 greaterThan 实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	如果图路径的值 equal 实数和图弧是那个图路径的 part 和另一个图弧是那个图路径的 part 和那个图弧的值是另一个实数和那个另外图弧的值是第三实数和对所有图元素如果那个图元素是那个图路径的 part，然后那个图元素 equal 那个图弧或那个图元素 equal 那个另外图弧，然后那个图路径的值 equal (那个另外实数和那个第三实数)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	如果图路径的值 equal 实数和另一个图路径是那个图路径的 subGraph 和图弧是那个图路径的 part 和那个图弧的值是另一个实数和对所有图元素如果那个图元素是那个图路径的 part，然后那个图元素是那个另外图路径的 part 或那个图元素 equal 那个图弧，然后那个实数 equal (那个另外图路径的值和那个另外实数)
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 Auctioning 的 instance ，然后有存在符号串和实体_PURCHASE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个实体_PURCHASE_AMOUNT 和那个群体的 total purchase price equal 那个实体_PURCHASE_AMOUNT
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.	UXExperimentalTerms.kif 1033-1060	如果群体是群体的 instance 和 WebSite 是 WebSite 的 instance 和施事体是施事体的 instance 和 WebListing 是 WebListing 的 instance 和时点是时点的 instance 和那个施事体 sells 那个 WebListing 和那个 WebListing 不是那个群体的 member 和对所有物理和另一个物理如果那个物理是 WebListing 的 instance 和那个物理是样品对于 sale 由那个施事体在那个 WebSite 的 member 和那个时点时段是那个物理出现的 time 时段的一 part 和那个物理不 equal 那个 WebListing，然后那个物理是那个群体的 member 和如果那个另外物理是那个群体的 member，然后那个时点时段是那个物理出现的 time 时段的一 part 和那个另外物理是 WebListing 的 instance ，然后东西对于 sale 由那个施事体非列在那个 WebListing 在那个 WebSite 期间那个时点 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是购买的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后有存在符号串，实体， and 和另一个实体_PURCHASE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个另外实体_PURCHASE_AMOUNT 和那个群体的 value equal 那个另外实体_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是出售的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后有存在符号串，实体， and 和另一个实体_SALE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个另外实体_SALE_AMOUNT 和那个群体的 value equal 那个另外实体_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7365	如果客体是礼堂座位的 instance 和那个客体是另一个客体的 part 和第三客体是那个另外客体的 part 和那个另外客体是礼堂的 instance 和那个第三客体是表演阶段的 instance 和第四客体是 located 在那个客体和那个第四客体是人类的 instance 和有点过程是看的 subclass 和对所有另一个过程如果那个另外过程是有点过程的 instance，然后那个第三客体是那个另外过程的 patient ，然后那个第四客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	如果人类是人类的 instance 和群体是群体的 instance 和对所有试验和物理如果有存在有点过程这样那个试验是试验的 instance 和那个物理是过程的 instance 和那个物理是 events 在那个试验的 member 和那个物理是有点过程的 instance 和那个人类能够担当经历者的角色做那个有点过程，然后那个物理是那个群体的 member 和如果另一个物理是那个群体的 member，然后那个另外物理是过程的 instance 和有存在另一个试验和那个另外物理ESS 这样那个另外试验是试验的 instance 和那个另外物理是 events 在那个另外试验的 member 和那个另外物理是那个另外物理ESS 的 instance 和那个人类能够担当经历者的角色做那个另外物理ESS ，然后所有流程那个人类是 qualified 对于 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	如果人类是人类的 instance 和群体是群体的 instance 和对所有 WebPage，过程， and 和试验如果那个 WebPage 是 WebPage 的 instance 和那个过程是 AccessingWebPage 的 instance 和那个试验是试验的 instance 和那个人类是那个过程的 agent 和那个 WebPage 是那个过程的 patient 和那个 WebPage 是那个试验的研究对象，然后那个过程是那个群体的 member ，然后那个群体 equal 所有的 treated web page 浏览从那个人类
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	如果群体是群体的 instance 和躯体性物体是 HypertextLink 的 instance 和对所有物理那个物理是另一个群体的 member 和那个物理是 AccessingWebPage 的 instance 和那个另外群体是那个躯体性物体的 component，然后有存在第三群体这样那个第三群体是群体的 instance 和对所有过程如果那个过程是 RequestingHyperlink 的 instance 和那个躯体性物体是那个过程的 patient，然后那个过程是那个第三群体的 member 和点击通过那个躯体性物体的 rate 在那个群体 equal 那个第三群体 instance 的数量和那个群体 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	如果群体是群体的 instance 和另一个群体是群体的 instance 和那个另外群体是那个群体的真正的子集和对所有物理如果那个物理是那个群体的 member，然后那个物理是 AccessingWebPage 的 instance 和对所有过程，施事体,，，另一个过程,，，那个过程， and 和客体如果那个施事体是人类的 instance 和那个过程是购买的 instance 和那个另外过程是 AccessingWebPage 的 instance 和那个客体是 WebPage 的 instance 和那个另外过程是那个群体的 member 和那个另外过程在那个客体结束和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 在那个另外过程出现的 time 时段内发生和那个客体是导致那个过程的 instrument，然后那个过程是那个另外群体的 member ，然后有存在时距，实体_IN_INTERVAL， and 和另一个实体_IN_INTERVAL 这样 purchases 花在那个群体期间那个时距 equal 那个实体_IN_INTERVAL 所描述的类别 instance 的数量和那个另外实体_IN_INTERVAL 所描述的类别 instance 的数量

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	实数是串列的 average 若且唯若有存在另一个串列和正整数这样那个另外串列的长度 equal 那个串列的长度和那个另外串列的第 1 几个元素 equal 那个串列的第 1 几个元素和对所有另一个正整数如果那个另外正整数是那个另外串列的 member，然后有存在另一个实数，那个另外实数MINUSONE,，，第三正整数， and 和第四正整数这样那个另外实数是 greaterThan 1 和那个另外实数是 lessThanOrEqualTo 那个另外串列的长度和那个另外串列的第那个另外正整数几个元素 equal 那个另外实数和那个第三正整数是那个串列的 member 和那个另外实数 equal 那个串列的第那个第三正整数几个元素和那个第四正整数是那个另外串列的 member 和那个另外实数MINUSONE equal (那个另外实数和 1) 和那个另外实数MINUSONE equal 那个另外串列的第那个第四正整数几个元素和那个另外正整数 equal (那个第三正整数和那个第四正整数) 和那个正整数 equal 那个另外串列的长度和那个实数 equal 那个另外串列的第那个正整数几个元素和那个正整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7758-7766	客体 larger 另一个客体若且唯若对所有实数，另一个实数， and 和测量单位如果那个客体的 measure 是那个实数那个测量单位和那个另外客体的 measure 是那个另外实数那个测量单位和那个测量单位是 UnitOfLength 的 instance，然后那个实数是 greaterThan 那个另外实数
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.	Hotel.kif 171-176	如果 all rooms 在 RoomInventory 有有点物理，然后对所有有点 HotelUnit 如果有点 HotelUnit 是那个 RoomInventory 的 member 类别，然后有点物理是 amenity 在那个有点 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	如果所有房间在 RoomInventory 有政策 Policy ，然后对所有有点 HotelUnit 如果有点 HotelUnit 是那个 RoomInventory 的 member 类别，然后那个 Policy 是应用在那个有点 HotelUnit 的 policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	如果所有房间在在 RoomInventory 有服务有点物理，然后对所有有点 HotelUnit 如果有点 HotelUnit 是那个 RoomInventory 的 member 类别，然后有点物理是 amenity 在那个有点 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4990-4998	如果属性是客体的 attribute 和那个属性是球的 instance，然后有存在几何点和长度测量这样对所有另一个几何点如果那个另外几何点是那个客体的顶点，然后那个另外几何点是对于那个长度测量的 geometric 距离那个几何点
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17688-17697	如果单色是客体的 attribute 和另一个客体是那个客体的 superficialPart 和属性是那个另外客体的 attribute 和那个属性是原色的 instance，然后对所有第三客体如果那个第三客体是那个客体的 superficialPart，然后那个属性是那个第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	如果人类是国家的 citizen 和普选法是那个国家的 regional 法律的 subProposition，然后那个国家的 regional 法律允许那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
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 4861-4872	如果 @ROW 的最大公因数 equal 整数和那个整数不 equal 0，然后对所有另一个整数如果那个另外整数是 (@ROW) 的 member，然后那个另外整数模除那个整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	如果 @ROW 的最大公因数 equal 整数和那个整数不 equal 0，然后不存在另一个整数这样那个另外整数是 greaterThan 那个整数和对所有第三整数如果那个第三整数是 (@ROW) 的 member，然后那个第三整数模除那个另外整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	如果 @ROW 的最小公倍数 equal 整数和那个整数不 equal 0，然后对所有另一个整数如果那个另外整数是 (@ROW) 的 member，然后那个整数模除那个另外整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	如果 @ROW 的最小公倍数 equal 整数和那个整数不 equal 0，然后不存在另一个整数这样那个另外整数是 lessThan 那个整数和对所有第三整数如果那个第三整数是 (@ROW) 的 member，然后那个另外整数模除那个第三整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	如果有点 DataStorageDevice equal Album 在有点 DataStorageDeviceS 的 set 复制和第三 DataStorageDevice 是那个有点 DataStorageDevice 的 instance，然后对所有客体如果那个客体是那个 Album 的 member，然后有存在有内用物体这样那个有内用物体是和那个客体完全相同的 copy 和那个有内用物体是 stored 在那个第三 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9894-9901	如果洞是自身连接物体内的 hole 和另一个洞是那个自身连接物体内的 hole，然后对所有第三洞如果那个第三洞是包括属于那个另外洞或那个洞的部分的 part，然后那个第三洞是那个自身连接物体内的 hole
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.	Mid-level-ontology.kif 12930-12941	如果客体是下巴的 instance 和另一个客体是面对的 instance 和那个客体是那个另外客体的 part，然后对所有第三客体如果那个第三客体是那个另外客体的 part 和那个第三客体不是那个客体的 part，然后那个第三客体在那个客体的下面
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	如果过程是 Grinding 的 instance 和实体是那个过程的 patient 和那个实体是躯体性物体的 instance，然后有存在另一个实体这样那个另外实体是那个过程的 result 和那个另外实体是群体的 instance 和对所有第三实体如果那个第三实体是那个另外实体的 member，然后那个第三实体是那个实体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有施事体如果那个施事体是那个群体的 member，然后有存在另一个时距这样那个施事体是施事体的 instance 和那个另外时距是购买的 instance 和那个施事体是那个另外时距的 agent 和那个 WebSite 是导致那个另外时距的 instrument 和那个另外时距在那个时距时段内发生和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和有存在那个另外时距_BEFORE 这样那个另外时距_BEFORE 是购买的 instance 和那个施事体是那个另外时距_BEFORE 的 agent 和那个 WebSite 是导致那个另外时距_BEFORE 的 instrument 和那个另外时距_BEFORE 在那个时距时段内发生在那个时距_BEFORE holdsDuring 和 new buyers 在那个 WebSite 其间那个时距 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有物理如果那个物理是人类的 instance 和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和那个物理是那个 WebSite 的 registered user 在那个时距_BEFORE holdsDuring 和有存在那个时距_DURING 这样那个时距_DURING 是时距的 instance 和那个时距_DURING 在那个时距时段内发生和那个物理是那个 WebSite 的 registered user 在那个时距 holdsDuring，然后那个物理是那个群体的 member 和那个群体 equal new registrations 在那个 WebSite 期间那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有施事体如果那个施事体是那个群体的 member，然后有存在另一个时距这样那个施事体是施事体的 instance 和那个另外时距是出售的 instance 和那个施事体是那个另外时距的 agent 和那个 WebSite 是导致那个另外时距的 instrument 和那个另外时距在那个时距时段内发生和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和有存在那个另外时距_BEFORE 这样那个另外时距_BEFORE 是出售的 instance 和那个施事体是那个另外时距_BEFORE 的 agent 和那个 WebSite 是导致那个另外时距_BEFORE 的 instrument 和那个另外时距_BEFORE 在那个时距时段内发生在那个时距_BEFORE holdsDuring 和 new sellers 在那个 WebSite 期间那个时距 equal 那个群体

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	对所有 ?AGENT， ?VOTER,，， ?ELECTION， and 和 ?VOTING 如果 ?ELECTION 是 ?AGENT 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后男是 ?VOTER 的 attribute contains 独家男性选举权的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 923-931	对所有 ?COUNTRY， ?ELECTION,，， ?VOTING， and 和 ?VOTER 如果 ?COUNTRY 是国家的 instance 和 ?ELECTION 是 ?COUNTRY 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后 ?VOTER 是 ?COUNTRY 的 citizen contains 选民公民身份要求的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	对所有 ?POLITY， ?AGENT,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?AGENT 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?AGENT 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后 ?AGENT 能够担当主事的角色做 ?ELECTION 的 voting contains 普选法的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	对所有 ?POLITY， ?VOTER,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?VOTER 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?VOTER 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent contains 强制选举法的资料
No TPTP formula. May not be expressible in strict first order.	Media.kif 1970-1978	有存在时距这样那个时距是时距的 instance 和那个时距 finishes了才到 JesusOfNazareth 出现的 time 和那个时距 starts了才到 TwelveApostles 出现的 time 和对所有实体如果那个实体是 TwelveApostles 的 member 在那个时距 holdsDuring，然后那个实体是 JesusOfNazareth 的 friend 在那个时距 holdsDuring

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13333-13336	对所有实数那个实数 OunceMass equal 那个实数和 16.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4736-4737	对所有整数 (那个整数+2) equal (那个整数和 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4720-4721	对所有整数 (那个整数+1) equal (那个整数和 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3037-3040	对所有 @ROW 和另一个实体 (@ROW 和那个另外实体) 的长度 equal ((@ROW) 的长度+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3042-3046	对所有 @ROW 和另一个实体 (@ROW 和那个另外实体) 的第 (@ROW 和那个另外实体) 的长度几个元素 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3315-3316	对所有 @ROW 和另一个实体 (@ROW) %starts (@ROW 和那个另外实体)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: