TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4494-4496
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	水体是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4491-4491	水体是水域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4540-4540	北大西洋是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4572-4572	北太平洋是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4586-4586	NortheasternPacificOcean 是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4599-4599	NorthwesternPacificOcean 是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4553-4553	南大西洋是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4612-4612	南太平洋是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4499-4499	世界海洋是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5316-5316	渠道是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5672-5672	溪是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5179-5179	河口是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5122-5122	海湾是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5218-5218	进口是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5078-5078	内陆水域是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4513-4513	海洋是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	河是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4758-4758	海是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5278-5278	声音是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5292-5292	海峡是水体的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11483-11483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11482-11482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11481-11481

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	如果客体是渠道的 instance 和另一个客体是水体的 instance 和那个客体和那个另外客体是 connected，然后那个另外客体 larger 那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	如果河是河的 instance 和客体是水体的 instance 和那个客体是那个河的 flows ，然后有存在水域这样那个水域是河口的 instance 和那个水域是那个河的 outfall 和那个水域和那个客体是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4523-4528	如果客体是水体的 instance 和那个客体不是海洋的 instance 和另一个客体是海洋的 instance，然后那个另外客体 larger 那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5305-5310	如果客体是水体的 instance 和另一个客体是水体的 instance 和第三客体 connects 那个客体和那个另外客体，然后那个客体 larger 那个第三客体

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	如果实体是有点 meat 的 instance 和有点 meat 是海鲜的 subclass，然后有存在生物，那个实体EA， and 和有点动物这样那个有点 meat 是有点动物的 meat 和那个生物是那个有点动物的 instance 和那个实体EA 是水体的 instance 和那个生物住在那个实体EA
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 4742-4749	如果客体是冰山的 instance，然后有存在另一个客体和第三客体这样那个另外客体是冰的 instance 和那个另外客体是那个客体的 most 和那个第三客体是水体的 instance 和 covers 那个第三客体 and 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1353-1373	如果过程是碎波的 instance，然后有存在另一个过程，客体,，，实体， and 和转移这样那个另外过程是水波的 instance 和那个过程%n是那个另外过程的subProcess 和那个客体是水体的 instance 和那个实体是水体的 instance 和那个实体是那个另外过程的 patient 和那个客体是那个过程的 patient 和那个转移是落下的 instance 和 objectTransferred 那个转移 and 那个客体和那个客体是那个实体的 part 在那个转移出现的 time 的开始 holdsDuring 和那个客体不是那个实体的 part 在那个转移出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	如果客体是浅滩的 instance，然后有存在另一个客体和第三客体这样那个另外客体是土地形式的 instance 和那个另外客体是那个客体的 most 和那个第三客体是水体的 instance 和 covers 那个第三客体 and 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5415-5421	如果物理是溪水区的 instance，然后有存在另一个物理这样那个另外物理是水体的 instance 和那个另外物理不 equal 那个物理和那个另外物理是那个物理的 flows
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5348-5356	如果地理区域是内陆水系统的 instance，然后有存在另一个地理区域和第三地理区域这样那个另外地理区域是水体的 instance 和那个第三地理区域是水体的 instance 和那个另外地理区域不 equal 那个第三地理区域和那个另外地理区域是那个地理区域的 geographic 次要地区和那个第三地理区域是那个地理区域的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5297-5303	如果客体是海峡的 instance，然后有存在另一个客体和第三客体这样那个另外客体是水体的 instance 和那个第三客体是水体的 instance 和那个客体 connects 那个另外客体和那个第三客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1420-1440	如果波高水波 and 长度测量，然后有存在客体，另一个客体,，，第三客体， and 和测量单位这样那个客体是水体的 instance 和那个水波是 located 在那个客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和那个另外客体和那个第三客体的 distance 是那个长度测量和不存在第四客体和那个第四客体H 这样那个第四客体是那个客体的 part 和那个第四客体的 altitude 是那个另外客体和那个第四客体H 是 greaterThan 0.0 和不存在第五客体和那个第五客体H 这样那个第五客体是那个客体的 part 和那个第三客体的 altitude 是那个第五客体和那个第五客体H 是 greaterThan 0.0

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: