=> - Sigma Knowledge base Browser

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5409	如果如果实体是集合的 element，然后那个实体是另一个集合的 element ，然后那个集合是那个另外集合的 subset
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 7350-7364	如果客体是礼堂座位的 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 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 7780-7788	客体 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 4989-4997	如果属性是客体的 attribute 和那个属性是球的 instance，然后有存在几何点和长度测量这样对所有另一个几何点如果那个另外几何点是那个客体的顶点，然后那个另外几何点是对于那个长度测量的 geometric 距离那个几何点
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	如果单色是客体的 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.	Media.kif 2137-2150	如果那只能是整数 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量 equal 那个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9916-9923	如果洞是自身连接物体内的 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.	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.	Mid-level-ontology.kif 12929-12940	如果客体是下巴的 instance 和另一个客体是面对的 instance 和那个客体是那个另外客体的 part，然后对所有第三客体如果那个第三客体是那个另外客体的 part 和那个第三客体不是那个客体的 part，然后那个第三客体在那个客体的下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	如果过程是死亡的 instance 和施事体是生物的 instance 和那个施事体经历了那个过程，然后有存在实体和另一个实体这样那个实体是那个过程的 result 和那个实体是有机物体的 instance 和死是那个实体的 attribute 在那个过程出现的 time 之后 holdsDuring 和如果那个另外实体是那个实体的 part 在紧接那个过程出现的 time after holdsDuring，然后那个另外实体是那个施事体的 part 在紧接那个过程出现的 time before holdsDuring
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

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.	Merge.kif 5421-5425	如果实体是集合的 element 若且唯若那个实体是另一个集合的 element，然后那个集合 equal 那个另外集合
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5409	如果如果实体是集合的 element，然后那个实体是另一个集合的 element ，然后那个集合是那个另外集合的 subset
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2768-2770	如果机构 provides HotelPackage ，然后旅客住宿是那个机构的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	如果用户帐号是在 WebSite 的 account ，然后有存在客体和那个 WebSite_OWNER 这样那个客体是数据库的 instance 和那个 WebSite_OWNER 是施事体的 instance 和那个 WebSite_OWNER possesses 那个 WebSite 和那个 WebSite_OWNER possesses 那个客体和那个用户帐号是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20751-20757	如果 actedIn 人类 and 内容承载物理，然后有存在过程这样那个过程是戏剧表演的 instance 和那个人类是那个过程的 patient 和那个内容承载物理是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	如果施事体 can hold 有点过程的种类，然后有存在客体这样那个客体是那个施事体的财产的 element 和那个客体能够担当位于的角色做有点过程
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 939-944	如果客体是对于类 adjacent ，然后有存在另一个客体这样那个另外客体是那个类的 instance 和那个客体在那个另外客体的邻
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	如果 advertisedOn 客体 and WebSite，然后有存在 WebListing 这样那个 WebListing 是广告的 instance 和那个 WebListing 是在那个 WebSite hosted 和那个客体是那个 WebListing 的 patient
No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	如果有点时间位置是命题的 agreement 采用日期，然后有存在过程和另一个时间位置这样那个过程是承诺的 instance 和那个另外时间位置是有点时间位置的 instance 和那个命题是那个过程的 patient 和那个过程在那个另外时间位置是存在
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	如果有认知的主事有义务去做在协议的命题道义属性，然后有存在内容承载物理这样那个内容承载物理 contains 那个命题的资料和那个协议是那个有认知的主事的 party 协议
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14099-14105	如果有认知的主事有义务去做在协议的命题允许，然后那个有认知的主事有权利去做有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	如果有认知的主事有义务去做在协议的命题禁令，然后那个有认知的主事 doesn't have 有权利去做有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	如果协议有 expiration 时点，然后那个协议不有 ActiveAgreement 的 attribute 在那个时点之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	如果命题 agreement 对于另一个命题的修改日期有点时间位置，然后有存在另一个时间位置这样那个另外时间位置是有点时间位置的 instance 和那个另外命题不是那个命题的 subProposition 在紧接那个另外时间位置 before holdsDuring 和那个另外命题是那个命题的 subProposition 在紧接那个另外时间位置 after holdsDuring 或那个另外命题是那个命题的 subProposition 在紧接那个另外时间位置 before holdsDuring 和那个另外命题不是那个命题的 subProposition 在紧接那个另外时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	如果有认知的主事是在 Album 上的表演者，然后有存在有内用物体和过程这样那个有内用物体是 Recording 的 instance 和那个有内用物体是那个 Album 的 member 和那个有内用物体是个那个过程的 record 和那个有认知的主事是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 312-314	如果 Image 是在 Album 的 image ，然后那个 Image 表达那个 Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	如果 Album 之前是在时点被 released ，然后有存在地理区域和有点 DataStorageDevice 这样那个 Album 在有点 DataStorageDevice 的 set 复制是 released 对于 sale 在那个地理区域位于那个时点和不存在另一个时点，另一个地理区域， and 和另一个有点 DataStorageDevice 这样那个另外时点%n在那个时点 before发生和那个 Album 在另一个有点 DataStorageDevice 的 set 复制是 released 对于 sale 在那个另外地理区域位于那个另外时点
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 16851-16860	如果人类的 almaMater 是中学后，然后有存在过程这样那个过程是教育性过程的 instance 和那个过程在那个人类结束和那个过程是 located 在那个中学后和学生是那个人类的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	如果自身连接物体的 altitude 是物理，然后有存在另一个自身连接物体这样那个另外自身连接物体是那个自身连接物体的 top 和那个另外自身连接物体和那个物理的 distance 是长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7736-7738	如果客体的 altitude 是另一个客体，然后那个客体在那个另外客体的以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7717-7719	如果物理的 altitude 是另一个物理，然后那个物理和那个另外物理的 distance 是长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23251-23257	如果格角色过程 and 客体和那个格角色是格角色的 instance 和那个过程是过程的 instance 和那个客体是客体的 instance，然后那个客体对于那个过程在事件那个格角色 plays 角色

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: