TreeView 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 9964-9964	洞主体函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10105-10105	洞表面函数的 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 9867-9867	部分差异函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9846-9846	部分积函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9824-9824	部分总和函数的 range 是客体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	Attr 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18451-18451	MakingFn 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	OrganicObjectFn 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15727-15727	人工制品是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14068-14068	天文体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	施事体是客体的 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 24610-24610	ContactSite 是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3851-3851	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.	MilitaryDevices.kif 2096-2096	Shrapnel 是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25644-25644	SphericalObject 是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2051-2051	龙卷风损害是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15277-15277	过境障碍是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4792-4792	二维物体是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815

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.	Merge.kif 7662-7662	圆心的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4933-4933	直径的 1 数量是客体的 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 9865-9865	部分差异函数的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9866-9866	部分差异函数的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9844-9844	部分积函数的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9845-9845	部分积函数的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9822-9822	部分总和函数的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9823-9823	部分总和函数的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4952-4952	半径的 1 数量是客体的 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 184-184	advertisedOn 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25706-25706	气温的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31395-31395	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 31408-31408	applicableRelation 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1926-1926	问价格的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1720-1720	属于的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17492-17492	轴的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17493-17493	轴的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7852-7852	气压的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29794-29794	beforeOnPath 的 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 23304-23310	如果格角色过程 and 客体和那个格角色是格角色的 instance 和那个过程是过程的 instance 和那个客体是客体的 instance，然后那个客体对于那个过程在事件那个格角色 plays 角色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25720-25729	如果属性是客体的 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 5267-5276	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有存在另一个客体和第三客体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个另外客体是那个第三客体的 part 和那个第三客体是那个有点有机物体的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	如果有点客体 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 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.	UXExperimentalTerms.kif 1312-1324	如果过程是 AddToCart 的 instance 和有认知的主事是施事体的 instance 和实体是客体的 instance 和那个有认知的主事是那个过程的 agent 和那个实体是那个过程的 patient，然后那个有认知的主事 desires 有存在另一个实体这样那个另外实体是购买的 instance 和那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	如果过程是 Auctioning 的 instance 和施事体是施事体的 instance 和另一个施事体是施事体的 instance 和客体是客体的 instance 和测量单位是 UnitOfCurrency 的 instance 和那个客体是那个过程的 patient 和那个施事体 bids 实数那个测量单位對於那个客体和那个另外施事体 bids 另一个实数那个测量单位對於那个客体和那个实数是 greaterThan 那个另外实数，然后那个过程在那个施事体结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	如果过程是 Auctioning 的 instance 和客体是客体的 instance 和那个客体是那个过程的 patient，然后有存在施事体和货币测量这样那个施事体是施事体的 instance 和那个货币测量是货币测量的 instance 和那个施事体 bids 那个货币测量對於那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22070-22077	如果客体是刀片的 instance 和过程是切开的 instance 和另一个客体是客体的 instance 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	如果 Food 是客体的 instance 和 roastedToTemperature 那个 Food and 实数，然后有存在过程这样那个过程是加热的 instance 和那个 Food 是那个过程的 patient 和那个 Food 的 measure 是那个实数摄氏度在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average price equal 那个实数和那个整数
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	如果过程是 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 994-1003	如果过程是 Crushing 的 instance 和实体是那个过程的 patient 和那个实体是客体的 instance，然后有存在另一个过程这样那个另外过程是那个过程的 result 和那个另外过程是形状变化的 instance 和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7650-7655	如果客体是客体的 instance 和那个客体是圈，然后有存在几何点这样圆那个客体的 center equal 那个几何点
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7643-7648	如果客体是客体的 instance 和那个客体是圈，然后有存在长度测量这样那个客体的 radius 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	如果群体是 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 373-379	如果实体是客体的 instance 和客体是 WebListing 的 instance 和 ForSaleByOwner 是那个客体的 attribute 和那个实体是那个客体的 patient，然后那个实体是车辆的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	如果客体是客体的 instance 和另一个客体是 WebListing 的 instance 和施事体是施事体的 instance 和 ForSaleByOwner 是那个另外客体的 attribute 和那个施事体 possesses 那个客体，然后那个施事体是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	如果施事体是车床的 instance 和实体是客体的 instance 和那个施事体是导致过程的 instrument 和那个实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是旋转的 instance 和那个过程%n是那个另外过程的subProcess 和那个实体是那个另外过程的 patient 和那个施事体是那个另外过程的 agent

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 25379-25383	如果属性是客体的 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 11781-11796	如果过程是 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 6050-6069	如果过程是 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 6116-6134	如果过程是 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 2065-2076	如果躯体性物体是 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 1883-1900	如果过程是 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 13030-13043	如果过程是 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 21174-21204	如果命题是争论的 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: