Object - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1552-1554
No TPTP formula. May not be expressible in strict first order.	Merge.kif 847-852
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 122-125
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 141-145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1204-1204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	客体是物理的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	物理详尽无遗地 partition 成客体和过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9914-9914	洞主体函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10055-10055	洞表面函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2626-2626	线路的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9817-9817	部分差异函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9796-9796	部分积函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9774-9774	部分总和函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1763-1763	Attr 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18262-18262	MakingFn 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5133-5133	OrganicObjectFn 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15574-15574	人工制品是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13915-13915	天文体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1543-1543	施事体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	群体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24486-24486	ContactSite 是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3866-3866	Magnet 是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	地区是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	自身连接物体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25527-25527	SphericalObject 是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2068-2068	龙卷风损害是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15185-15185	过境障碍是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4769-4769	二维物体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815
No TPTP formula. May not be expressible in strict first order.	english_format.kif 832-832

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1276-1276	AccelerationFn 的 3 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2624-2624	线路的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2625-2625	线路的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9815-9815	部分差异函数的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9816-9816	部分差异函数的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9794-9794	部分积函数的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9795-9795	部分积函数的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9772-9772	部分总和函数的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9773-9773	部分总和函数的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 870-870	吸收剂量的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 936-936	adjacentOrientation 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 238-238	advertisedOn 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25589-25589	气温的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31264-31264	allowableValue 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 357-357	anthem 的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31277-31277	applicableRelation 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1940-1940	问价格的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1707-1707	属于的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17400-17400	轴的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17401-17401	轴的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7802-7802	气压的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29670-29670	beforeOnPath 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29671-29671	beforeOnPath 的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29672-29672	beforeOnPath 的 3 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4139-4139	之间的 1 数量是客体的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23203-23209	如果格角色过程 and 客体和那个格角色是格角色的 instance 和那个过程是过程的 instance 和那个客体是客体的 instance，然后那个客体对于那个过程在事件那个格角色 plays 角色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25603-25612	如果属性是客体的 attribute 和那个属性是 TemperatureAttribute 的 instance 和那个客体是客体的 instance，然后有存在另一个客体这样那个客体的 measure 是那个另外客体和那个另外客体是温度测量的 instance 和那个属性是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是客体的 subclass 和实体是那个有点物理的 instance，然后那个施事体允许那个有认知的主事执行有存在另一个实体这样那个另外实体是过程的 instance 和那个实体是那个另外实体的 resource 或那个实体是导致那个另外实体的 instrument 或那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 或那个有认知的主事经历了那个另外实体的任务
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5150-5159	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有存在另一个客体和第三客体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个另外客体是那个第三客体的 part 和那个第三客体是那个有点有机物体的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5141-5148	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有点有机物体是生物的 subclass 或那个有点有机物体是解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	如果有点物理是 free 对于顾客出租有点 HotelFunctionRoom 和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个过程在有认知的主事结束和客体是有点物理的 instance 和那个施事体 possesses 那个客体和那个施事体是那个有认知的主事的 customer 和那个客体是过程的 instance 和那个有认知的主事是那个客体的 agent 或那个有认知的主事经历了那个客体或那个施事体 possesses 那个客体和那个客体是客体的 instance 和那个有认知的主事 uses 那个客体，然后那个客体是对于那个施事体的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	如果有点物理的使用是对于施事体免费和过程是有点物理的 instance 和那个施事体是有认知的主事的 customer 和那个过程是过程的 instance 和那个有认知的主事是那个过程的 agent 或那个有认知的主事经历了那个过程或那个施事体 possesses 那个过程和那个过程是客体的 instance 和那个有认知的主事 uses 那个过程，然后那个过程是对于那个施事体的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是客体的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和客体是那个有点物理的 instance 和那个客体是 located 在那个暂住和过程是过程的 instance 和那个人类是那个过程的 agent 和那个客体是那个过程的 patient 或那个客体是导致那个过程的 instrument 或那个客体是那个过程的 resource，然后那个客体是对于那个人类的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	如果有点物理的使用对于有点 HotelFunctionRoom 是免费和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在另一个实体结束和有点物理是客体的 subclass，然后有存在第三实体和第四实体这样那个第三实体是那个有点物理的 instance 和那个第四实体是过程的 instance 和那个第三实体是那个第四实体的 resource 或那个第三实体是导致那个第四实体的 instrument 或那个第三实体是那个第四实体的 patient 和那个另外实体是那个第四实体的 agent 或那个另外实体经历了那个第四实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	如果人类是在施事体的 guest 和那个人类 stays 在暂住和那个暂住是那个施事体的财产的 element 和那个暂住是那个暂住OOM 的 instance 和有点物理是 amenity 在那个暂住OOM 和有点物理是客体的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个暂住和那个施事体允许那个人类执行有存在实体这样那个人类是那个实体的 agent 和那个另外物理是导致那个实体的 instrument 或那个另外物理是那个实体的 patient 或那个另外物理是那个实体的 resource 的任务
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1523-1539	如果时距是 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.	UXExperimentalTerms.kif 1509-1521	如果过程是 AddToCart 的 instance 和有认知的主事是施事体的 instance 和实体是客体的 instance 和那个有认知的主事是那个过程的 agent 和那个实体是那个过程的 patient，然后那个有认知的主事 desires 有存在另一个实体这样那个另外实体是购买的 instance 和那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 437-448	如果过程是 Auctioning 的 instance 和施事体是施事体的 instance 和另一个施事体是施事体的 instance 和客体是客体的 instance 和测量单位是 UnitOfCurrency 的 instance 和那个客体是那个过程的 patient 和那个施事体 bids 实数那个测量单位對於那个客体和那个另外施事体 bids 另一个实数那个测量单位對於那个客体和那个实数是 greaterThan 那个另外实数，然后那个过程在那个施事体结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 426-435	如果过程是 Auctioning 的 instance 和客体是客体的 instance 和那个客体是那个过程的 patient，然后有存在施事体和货币测量这样那个施事体是施事体的 instance 和那个货币测量是货币测量的 instance 和那个施事体 bids 那个货币测量對於那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21968-21975	如果客体是刀片的 instance 和过程是切开的 instance 和另一个客体是客体的 instance 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3445-3465	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average price equal 那个实数和那个整数
No TPTP formula. May not be expressible in strict first order.	Food.kif 734-746	如果过程是 Crushing 的 instance 和实体是那个过程的 patient 和那个实体是客体的 instance，然后有存在另一个过程和第三过程这样那个另外过程是 Breaking 的 instance 和那个过程 causes 那个另外过程和那个另外过程%n是那个第三过程的subProcess 和那个第三过程是形状变化的 instance 和那个实体是那个另外过程的 patient 和那个实体是那个第三过程的 patient
No TPTP formula. May not be expressible in strict first order.	Food.kif 748-757	如果过程是 Crushing 的 instance 和实体是那个过程的 patient 和那个实体是客体的 instance，然后有存在另一个过程这样那个另外过程是那个过程的 result 和那个另外过程是形状变化的 instance 和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 182-197	如果群体是 WebListingCategory 的 instance 和物理是 WebListing 的 instance 和另一个物理是 WebListing 的 instance 和过程是客体的 instance 和另一个过程是客体的 instance 和那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个物理是那个过程的 patient 和那个另外物理是那个另外过程的 patient，然后有存在类这样那个类是类的 instance 和那个过程是那个类的 instance 和那个另外过程是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 464-470	如果实体是客体的 instance 和客体是 WebListing 的 instance 和 ForSaleByOwner 是那个客体的 attribute 和那个实体是那个客体的 patient，然后那个实体是车辆的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 472-479	如果客体是客体的 instance 和另一个客体是 WebListing 的 instance 和施事体是施事体的 instance 和 ForSaleByOwner 是那个另外客体的 attribute 和那个施事体 possesses 那个客体，然后那个施事体是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5881-5892	如果施事体是车床的 instance 和实体是客体的 instance 和那个施事体是导致过程的 instrument 和那个实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是旋转的 instance 和那个过程%n是那个另外过程的subProcess 和那个实体是那个另外过程的 patient 和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17776-17786	如果客体是客体的 instance 和又长又瘦是那个客体的 attribute 和另一个客体是客体的 instance 和又长又瘦是那个另外客体的 attribute 和那个客体和那个另外客体是 connected 和那个客体不 equal 那个另外客体，然后有存在实数这样 relativeAngle 那个客体, 那个另外客体 and 那个实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-405	如果客体是 WebListing 的 instance 和过程是客体的 instance 和有认知的主事是施事体的 instance 和 AuctionAttribute 是那个客体的 attribute 和那个客体是那个过程的 patient 和那个有认知的主事 created 那个客体，然后那个有认知的主事 desires 有存在实体这样那个实体是 Auctioning 的 instance 和那个过程是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4791-4805	如果自身连接物体是客体的 instance 和中凸的圆形是那个自身连接物体的 attribute 和另一个自身连接物体是那个自身连接物体的 surface 和那个另外自身连接物体是二维物体的 instance，然后对所有几何点那个几何点是那个自身连接物体的 part 和几何点是那个几何点的 attribute 和那个几何点是那个自身连接物体的顶点和那个几何点接上那个自身连接物体和那个几何点接上那个另外自身连接物体和有存在一维图这样那个另外自身连接物体的 tangent 是那个一维图

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25238-25242	如果属性是客体的 attribute 和那个属性是 SizeAttribute 的 instance，然后那个客体是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	如果 DutyFree 是客体的 attribute 和那个客体是商店的 instance，然后有存在地缘政治区域，实体,，，另一个有点客体， and 和过程这样那个地缘政治区域是地缘政治区域的 instance 和那个客体是 located 在那个地缘政治区域和另一个有点客体是客体的 subclass 和那个另外有点客体是那个地缘政治区域的 import 商品种类和那个实体是那个另外有点客体的 instance 和那个过程是出售的 instance 和那个实体是那个过程的 patient 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	如果平民流离失所是实体的 attribute 和那个实体住在另一个实体和那个另外实体是 located 在地理区域在时距 holdsDuring 和那个地理区域是地理区域的 instance 和那个时距是时距的 instance，然后有存在另一个时距，第三实体-PLACE， and 和那个第三实体-RES 这样那个另外时距是时距的 instance 和那个另外时距比那个时距发生的earlier 和那个第三实体-RES 是客体的 instance 和那个第三实体-PLACE 是地缘政治区域的 instance 和那个第三实体-RES 是 located 在那个第三实体-PLACE 和那个地理区域不 equal 那个第三实体-PLACE 和那个另外实体不 equal 那个第三实体-RES 和那个地理区域不是那个第三实体-PLACE 的 geographic 次要地区和那个第三实体-PLACE 不是那个地理区域的 geographic 次要地区和那个实体住在那个第三实体-RES 在那个另外时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11689-11704	如果过程是 Choking 的 instance 和施事体经历了那个过程，然后有存在实体，客体， and 和另一个客体这样那个实体是客体的 instance 和那个客体是 Trachea 的 instance 和那个另外客体是肺的 instance 和那个客体是那个施事体的 part 和那个另外客体是那个施事体的 part 和那个实体是 located 在那个客体或那个实体是 located 在那个另外客体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6028-6047	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后那个过程的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个另外实体是肺的 instance 和那个第四实体是喉的 instance 和那个第三实体是客体的 instance 和那个实体是移除的 instance 和那个另外实体是那个施事体的 part 和那个第四实体是那个施事体的 part 和 objectTransferred 那个实体 and 那个第三实体和那个第三实体是 located 在那个第四实体或那个第三实体是 located 在那个另外实体在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6094-6112	如果过程是 Sneezing 的 instance 和施事体经历了那个过程，然后那个过程的目的是有存在实体，另一个实体,，，那个另外实体OSE， and 和第四实体这样那个另外实体是 NasalCavity 的 instance 和那个另外实体OSE 是鼻子的 instance 和那个另外实体OSE equal 洞那个另外实体的主体和那个第四实体是客体的 instance 和那个实体是移除的 instance 和那个另外实体OSE 是那个施事体的 part 和 objectTransferred 那个实体 and 那个第四实体和那个第四实体是 located 在那个另外实体在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	如果群体是机构的 instance 和航空运输业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，那个有认知的主事LANE， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个有认知的主事LANE 和那个有认知的主事LANE 是飞机的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	如果群体是机构的 instance 和建筑材料和园艺设备及用品经销商是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体这样那个施事体是出售的 instance 和那个客体是客体的 instance 和那个客体能够担当资源的角色做建筑或那个客体能够担当资源的角色做农业和那个客体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	如果群体是机构的 instance 和信使和信使是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是运输的 instance 和那个有认知的主事 possesses 那个实体和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 7702-7716	如果群体是机构的 instance 和百货商店是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体和另一个实体这样那个施事体是出售的 instance 和那个另外实体是人类的 instance 和那个实体是客体的 instance 和那个施事体在那个另外实体结束和那个实体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 6153-6169	如果群体是机构的 instance 和杂项制造业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是制造的 instance 和那个实体是客体的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	如果群体是机构的 instance 和杂货店零售商是那个群体的 attribute，然后有存在过程，物理,，，实体,，，客体， and 和施事体这样那个物理是那个群体的 member 和那个施事体是那个过程的 agent 和那个过程是出售的 instance 和那个施事体是人类的 instance 和那个客体是零售店的 instance 和那个过程是 located 在那个客体和那个实体是客体的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	如果群体是机构的 instance 和非商店零售商是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体和另一个实体这样那个施事体是出售的 instance 和那个另外实体是人类的 instance 和那个实体是客体的 instance 和不那个施事体是 located 在零售店和那个施事体在那个另外实体结束和那个实体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	如果群体是机构的 instance 和邮政服务是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是运输的 instance 和那个有认知的主事 possesses 那个实体和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	如果群体是机构的 instance 和铁路运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是铁路车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	如果群体是机构的 instance 和体育用品爱好书籍和音乐商店是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体这样那个施事体是出售的 instance 和那个客体是客体的 instance 和那个客体能够担当工具的角色做运动或那个客体能够担当工具的角色做制作音乐或那个客体是书的 instance 或那个客体是音乐录音的 instance 或那个客体是音乐文本的 instance 和那个客体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	如果群体是机构的 instance 和卡车运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是陆地车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	如果群体是机构的 instance 和仓储和储存是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体和第三实体这样那个第三实体是时距的 instance 和那个另外实体是建筑物的 instance 和那个有认知的主事 possesses 那个实体和那个另外实体是 located 在那个实体在那个第三实体 holdsDuring 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	如果群体是机构的 instance 和水运业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是水车的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 6375-6391	如果群体是机构的 instance 和批发贸易是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2271-2282	如果躯体性物体是 ViewItemPage 的 instance 和 WebSite 是 WebSite 的 instance 和那个躯体性物体是那个 WebSite 的 component，然后有存在实体和 WebListing 这样那个实体是客体的 instance 和那个 WebListing 是 WebListing 的 instance 和那个 WebListing 是那个躯体性物体的 component 和那个 WebListing 是在那个 WebSite hosted 和那个实体是那个 WebListing 的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2089-2106	如果过程是 Repayment 的 instance 和那个过程_DESTINATION 是客体的 instance 和那个过程在那个过程_DESTINATION 结束和那个过程_ORIGIN 是客体的 instance 和那个过程_ORIGIN 是那个过程的源头，然后有存在另一个过程，那个另外过程_ORIGIN， and 和那个另外过程_DESTINATION 这样那个另外过程是付款的 instance 和那个另外过程_ORIGIN 是客体的 instance 和那个另外过程_DESTINATION 是客体的 instance 和那个另外过程不 equal 那个过程和那个另外过程在那个另外过程_DESTINATION 结束和那个另外过程_ORIGIN 是那个另外过程的源头和那个另外过程_ORIGIN equal 那个过程_DESTINATION 和那个另外过程_DESTINATION equal 那个过程_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12877-12890	如果过程是 Searching 的 instance 和物理是那个过程的 patient 和那个物理是物理的 instance，然后有存在客体和施事体这样那个施事体是有认知的主事的 instance 和那个施事体是那个过程的 agent 和那个客体是客体的 instance 和那个物理是 located 在那个客体和那个施事体在那个过程的目的是那个施事体 knows 那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21052-21082	如果命题是争论的 instance 和过程是推理的 instance 和另一个命题是 Archeology 的 instance 和那个命题是那个另外命题的 subProposition 和那个过程表示那个命题的内容，然后有存在另一个过程，实体,，，物理,，，实数,，，另一个实体， and 和第三实体这样那个另外过程是发现的 instance 和那个物理是客体的 instance 和那个物理是那个另外过程的 patient 和那个过程提到那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThan 50 和那个实体是那个另外实体的 surface 和那个另外实体是水体的 instance 和那个物理在那个实体的下面或那个实体是那个第三实体的 surface 和那个第三实体是土地面积的 instance 和那个物理在那个实体的下面在紧接那个另外过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	如果客体是地区的 instance 和 Vacuum 是那个客体的 attribute，然后不存在物理这样那个物理是客体的 instance 和那个物理是 located 在那个客体

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: