TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1448-1448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14121-14122
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8790-8790
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9808-9808
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14120-14120	水域是地理区域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14032-14032	地理区域详尽无遗地 partition 成水域和土地面积
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 921-921	锚地是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4491-4491	水体是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14138-14138	淡水区是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 917-917	港口是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2028-2028	水电水域是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5341-5341	内陆水系统是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5655-5655	河口是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5509-5509	河流系统是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14133-14133	盐水区是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2937-2937	船泊位是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9039-9039	静水区是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9032-9032	溪水区是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5484-5484	流水汇流是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1378-1378	碎波带是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4932-4932	水流是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	水路是水域的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 950-950
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1107-1107
No TPTP formula. May not be expressible in strict first order.	french_format.kif 626-626
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 157-157
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 160-160
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2311-2311
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 578-578

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.	Geography.kif 6169-6169	海岸线的 2 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5559-5559	流动电流的 2 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2646-2646	可通航草案的 1 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2629-2629	可通航航运吨位的 1 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 975-975	海面温度的 1 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1524-1524	有效波高的 1 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5687-5687	流出口的 1 数量是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17566-17566	水深的 1 数量是水域的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6126-6131	如果客体是海岸的 instance 和另一个客体是水域的 instance 和那个另外客体在那个客体的邻，然后那个另外客体是盐水区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	如果水域是瀑布的 instance 和水运动是水运动的 instance 和那个水域是那个水运动的 flow 流量和客体是那个水运动的源头和那个水运动在另一个客体结束和那个客体是水域的 instance 和那个另外客体是水域的 instance，然后那个客体在那个另外客体的以上
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1579-1592	如果过程是高激浪的 instance 和客体是水域的 instance 和那个过程是 located 在那个客体，然后有存在另一个过程和施事体这样那个另外过程是游泳的 instance 和那个施事体是人类的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程是 located 在那个客体和危险那个过程 and 那个施事体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6152-6161	如果客体是岸区的 instance 和另一个客体是水域的 instance 和那个客体在那个另外客体的邻，然后有存在第三客体这样那个第三客体是海岸线的 instance 和那个第三客体是那个客体的 part 和那个第三客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	如果地理区域是内陆水系统的 instance 和另一个地理区域是水域的 instance 和第三地理区域是水域的 instance 和那个另外地理区域不 equal 那个第三地理区域和那个另外地理区域和那个第三地理区域不是 connected 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个第三地理区域是那个地理区域的 geographic 次要地区，然后有存在客体这样那个客体是水域的 instance 和那个客体不 equal 那个另外地理区域和那个客体不 equal 那个另外地理区域和那个客体是那个地理区域的 part 和那个客体 connects 那个另外地理区域和那个第三地理区域
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14131	如果客体是水域的 instance，然后有存在另一个客体，洞， and 和第三客体这样洞那个洞的主体 equal 那个另外客体和那个第三客体是水的 instance 和那个第三客体适当的 fills 那个洞和包括属于那个第三客体或那个另外客体的部分 equal 那个客体

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	如果深海沿岸和大湖泊水运是有认知的主事的 attribute 和那个有认知的主事是运输公司的 instance，然后有存在服务和客体这样那个服务是 WaterTransportationService 的 instance 和那个有认知的主事在那个服务中提供服务和那个服务是 located 在那个客体和那个客体是水域的 instance 和那个有认知的主事是 located 在北美
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	如果过程是防表面操作的 instance 和实体是那个过程的 patient 和那个实体是 located 在另一个实体在那个过程出现的 time holdsDuring，然后那个另外实体是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	如果客体是水车的 instance 和过程是运输的 instance 和那个客体是导致那个过程的 instrument，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	如果自身连接物体是地峡的 instance 和另一个自身连接物体是那个自身连接物体的一 side 和第三自身连接物体是那个自身连接物体的一 side 和那个另外自身连接物体不 equal 那个第三自身连接物体，然后有存在客体，另一个客体,，，第三客体， and 和第四客体这样那个客体是土地面积的 instance 和那个另外客体是土地面积的 instance 和那个自身连接物体是在那个客体和那个另外客体 between 和那个第三客体是水域的 instance 和那个第四客体是水域的 instance 和那个另外自身连接物体接上那个第三客体和那个第三自身连接物体接上那个第四客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11174-11181	如果过程是游泳的 instance 和施事体是那个过程的 agent，然后有存在客体这样那个客体是水域的 instance 和那个施事体是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	如果地理区域是内陆水系统的 instance 和另一个地理区域是水域的 instance 和第三地理区域是水域的 instance 和那个另外地理区域不 equal 那个第三地理区域和那个另外地理区域和那个第三地理区域不是 connected 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个第三地理区域是那个地理区域的 geographic 次要地区，然后有存在客体这样那个客体是水域的 instance 和那个客体不 equal 那个另外地理区域和那个客体不 equal 那个另外地理区域和那个客体是那个地理区域的 part 和那个客体 connects 那个另外地理区域和那个第三地理区域
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1532-1547	如果水波是水波的 instance 和波高那个水波 and 长度测量，然后有存在串列，水域,，，测量单位， and 和实数这样那个长度测量是那个串列的 member 和那个水域是水域的 instance 和那个水波是 located 在那个水域和那个测量单位是 UnitOfLength 的 instance 和有效波高那个水域, 那个水波出现的 time and 那个实数那个测量单位和那个实数 equal 4.0 和标准偏差那个串列
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	如果服务是 WaterTransportationService 的 instance 和有认知的主事在那个服务中提供服务和沿海和大湖泊货运是那个有认知的主事的 attribute，然后有存在过程，客体， and 和地理区域这样那个过程%n是那个服务的subProcess 和那个过程是水运的 instance 和那个客体是导致那个过程的 instrument 和那个客体是货船的 instance 和那个过程是 located 在那个地理区域和那个地理区域是水域的 instance 和那个地理区域是美国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	如果服务是 WaterTransportationService 的 instance 和有认知的主事在那个服务中提供服务和沿海和大湖泊客运是那个有认知的主事的 attribute，然后有存在过程，客体， and 和地理区域这样那个过程%n是那个服务的subProcess 和那个过程是水运的 instance 和那个客体是导致那个过程的 instrument 和那个客体是客船的 instance 和那个过程是 located 在那个地理区域和那个地理区域是水域的 instance 和那个地理区域是美国的 geographic 次要地区和不存在另一个实体这样那个另外实体是近海客船的 instance 和那个客体 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	如果有点运输设备是水车的 subclass 和过程是有点运输设备的 transportation 的 instance 和那个过程是 located 在客体，然后那个客体是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14174-14179	如果客体是岸区的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5599-5605	如果客体是运河的 instance，然后有存在另一个客体和第三客体这样那个另外客体是水域的 instance 和那个第三客体是水域的 instance 和那个客体 connects 那个另外客体和那个第三客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5322-5328	如果客体是渠道的 instance，然后有存在另一个客体和第三客体这样那个另外客体是水域的 instance 和那个第三客体是水域的 instance 和那个客体 connects 那个另外客体和那个第三客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5811-5816	如果客体是披肩的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体 penetrates 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5617-5622	如果客体是坝的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体 traverses 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 571-577	如果客体是地面面积的 instance，然后不存在另一个客体这样那个另外客体是水域的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5232-5237	如果客体是进口的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体和那个另外客体是 connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14216-14221	如果客体是岛的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5913-5918	如果客体是浅滩的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6072-6079	如果客体是淹没的土地面积的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体在那个另外客体的下面和那个另外客体在那个客体的上和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6138-6143	如果客体是海岸线的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个另外客体接上那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 536-541	如果过程是涉水的 instance，然后有存在客体这样那个客体是水域的 instance 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5800-5805	如果客体是半岛的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体 penetrates 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17678-17683	如果客体是 UnderwaterRegion 的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体在那个另外客体的下面
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5942-5947	如果客体是礁的 instance，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个客体在那个另外客体的近

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: