TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1453-1455
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14154-14157
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14153-14153	土地面积是地理区域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 639-639	美国萨摩亚是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 416-416	安圭拉是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3624-3624	南极地区是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 417-417	阿鲁巴是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 592-592	阿什莫尔和卡地亚岛屿是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 640-640	贝克岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 400-400	百慕大是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 565-565	英属印度洋领地是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 418-418	英属维尔京群岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 419-419	开曼群岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 593-593	圣诞岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 469-469	Clipperton岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 594-594	科科斯基林群岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 641-641	库克群岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 642-642	珊瑚海岛屿是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 492-492	福克兰群岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 311-311	法罗群岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 491-491	法属圭亚那是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 643-643	法属波利尼西亚是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 587-587	法国南部和南极的土地是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 237-237	加沙地带是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 388-388	直布罗陀是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 401-401	格陵兰是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 420-420	瓜德罗普岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 344-344	根西岛是土地面积的 instance

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 4285-4285	地下表面类型的 1 数量是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4278-4278	地面类型的 1 数量是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1674-1674	坡度的 1 数量是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1687-1687	坡度梯度朝向的 1 数量是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14032-14032	地理区域详尽无遗地 partition 成水域和土地面积

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1598-1608	如果过程是洪水的 instance 和客体是土地面积的 instance 和那个过程是 located 在那个客体和时点是时点的 instance 和那个时点%n在那个过程出现的 time before发生，然后那个客体是淹没的土地面积的 instance 在那个时点 holdsDuring 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5711-5718	如果过程是灌溉的 instance 和实体是那个过程的 patient 和那个实体是土地面积的 instance，然后干是那个实体的 attribute 在紧接那个过程出现的 time before holdsDuring 和潮湿是那个实体的 attribute 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5720-5725	如果过程是灌溉的 instance 和实体是那个过程的 patient 和那个实体是土地面积的 instance，然后那个过程的目的是肥沃的地形是那个实体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6779-6792	如果过程是地面沉降的 instance 和客体是那个过程的 patient 和那个客体是土地面积的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个客体的 elevation ，然后有存在实体这样那个实体那个测量单位是那个客体的 elevation 和那个实体是 lessThan 那个实数在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1843-1849	如果躯体性物体是泥的 instance 和红色是那个躯体性物体的 attribute 和另一个躯体性物体是土地面积的 instance 和那个躯体性物体是那个另外躯体性物体的 component，然后肥沃的地形是那个另外躯体性物体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1835-1841	如果躯体性物体是泥的 instance 和黄色是那个躯体性物体的 attribute 和另一个躯体性物体是土地面积的 instance 和那个躯体性物体是那个另外躯体性物体的 component，然后肥沃的地形不是那个另外躯体性物体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	如果土地面积是土地面积的 instance 和有点物质是那个土地面积的 ground 表面类别和另一个有点物质是那个土地面积表面下的 ground ，然后有存在客体和另一个客体这样那个客体是有点物质的 instance 和那个另外客体是另一个有点物质的 instance 和那个客体在那个另外客体的以上
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	如果客体是盆地的 instance 和另一个客体是土地面积的 instance 和测量单位是 UnitOfLength 的 instance 和那个客体是实数那个测量单位 above 地表和那个另外客体是另一个实数那个测量单位 above 地表和那个客体在那个另外客体的邻，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	如果客体是谷的 instance 和另一个客体是土地面积的 instance 和测量单位是 UnitOfLength 的 instance 和那个客体是实数那个测量单位 above 地表和那个另外客体是另一个实数那个测量单位 above 地表和那个客体在那个另外客体的邻，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14159-14166	如果客体是土地面积的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 part 和那个另外客体是大陆的 instance 或那个另外客体是岛的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1742-1746	如果属性是地形属性的 instance 和那个属性是客体的 attribute，然后那个客体是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	如果过程是尘暴的 instance 和另一个过程是风的 instance 和那个过程%n是那个另外过程的subProcess，然后有存在转移，客体,，，另一个客体,，，第三客体,，，第四客体， and 和实数这样那个第三客体是土地面积的 instance 和那个另外过程是 located 在那个第三客体和那个实数结速度单位是那个第三客体的 surface 风速和那个实数是 greaterThan 30.0 和那个转移是易位的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和 objectTransferred 那个转移 and 那个另外客体和那个客体是悬浮颗粒的 instance 和那个另外客体是砂的 instance 和那个第四客体是土地面积的 instance 和那个转移在那个第四客体结束和那个第三客体和那个第四客体不重叠
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14214	如果客体是岛的 instance 和另一个客体是地理区域的 instance 和那个客体接上那个另外客体，然后那个另外客体不是土地面积的 instance
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.	Weather.kif 693-706	如果过程是热带气旋的 instance 和那个过程在物理结束和那个物理是地理区域的 instance，然后不存在客体，另一个物理， and 和实数这样那个客体是土地面积的 instance 和那个另外物理是海岸线的 instance 和那个物理是 located 在那个客体和那个客体和那个另外物理的 distance 是那个实数英里和那个实数是 greaterThan 200.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	如果命题是争论的 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.	Geography.kif 2178-2196	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是土地面积的 instance 和那个另外地理区域不是耕地的 instance 和那个另外地理区域不是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1793-1795	如果多山的地形是客体的 attribute，然后那个客体是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 952-957	如果客体是内陆地区的 instance，然后有存在另一个客体这样那个另外客体是土地面积的 instance 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15385-15392	如果客体是 Balcony 的 instance，然后有存在另一个客体和第三客体这样那个另外客体接上那个客体和那个第三客体是土地面积的 instance 和那个另外客体是 located 在那个第三客体和那个客体在那个第三客体的以上
No TPTP formula. May not be expressible in strict first order.	Geography.kif 595-601	如果客体是仅水区的 instance，然后不存在另一个客体这样那个另外客体是土地面积的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1359-1368	如果客体是房地产的 instance，然后那个客体是固定人工制品的 instance 或那个客体是土地面积的 instance 或有存在另一个客体和第三客体这样那个另外客体是固定人工制品的 instance 和那个第三客体是土地面积的 instance 和那个客体 equal 包括属于那个第三客体或那个另外客体的部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8969-8974	如果客体是雾的 instance，然后有存在另一个客体这样那个另外客体是土地面积的 instance 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5225-5230	如果客体是进口的 instance，然后有存在另一个客体这样那个另外客体是土地面积的 instance 和那个客体 penetrates 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14194-14206	如果客体是岛的 instance，然后不存在另一个客体，第三客体， and 和第四客体这样那个另外客体是土地面积的 instance 和那个第三客体是那个客体的 part 和那个第四客体是那个另外客体的 part 和那个客体不是那个另外客体的 part 和那个另外客体不是那个客体的 part 和那个第三客体接上那个第四客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17778	如果过程是陆运的 instance，然后有存在客体和另一个客体这样那个客体是陆地车辆的 instance 和那个另外客体是土地面积的 instance 和那个客体是导致那个过程的 instrument 和那个客体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 811-818	如果过程是登陆水域的 instance，然后有存在实体和另一个过程这样那个实体是土地面积的 instance 和那个过程在那个实体结束和那个另外过程%n是那个过程的subProcess 和那个另外过程是水运的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4791-4796	如果客体是海的 instance，然后有存在另一个客体这样那个另外客体是土地面积的 instance 和那个另外客体接上那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6771-6777	如果过程是地面沉降的 instance，然后有存在客体这样那个客体是土地面积的 instance 和那个过程是 located 在那个客体和那个客体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14289-14297	如果物理是陆地过境通道的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是易位的 instance 和那个物理%n是那个实体发生的path 和那个实体是 located 在那个另外实体和那个另外实体是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	如果躯体性物体是 Hammock 的 instance，然后织品是那个躯体性物体的材料和有存在客体，另一个客体， and 和第三客体这样那个客体在那个另外客体的近和那个客体和那个躯体性物体是 connected 和那个另外客体和那个躯体性物体是 connected 和那个第三客体是土地面积的 instance 和那个躯体性物体是 located 在那个第三客体和那个躯体性物体在那个第三客体的以上
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26104-26122	如果物理是 PublicAddressSystem 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是土地面积的 instance 和那个物理是 located 在那个另外实体和那个第三实体是一群人的 instance 和那个第三实体是 located 在那个另外实体和那个实体是放射声音的 instance 和那个物理是导致那个实体的 instrument 和对所有第四实体如果那个第四实体是那个第三实体的 member，然后有存在第五实体这样那个第五实体是听的 instance 和那个实体是那个第五实体的 patient 和那个第四实体是那个第五实体的 agent

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: