TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14055-14060
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8502-8502
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	地理区域详尽无遗地 partition 成水域和土地面积
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	地理区域是地区的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14045-14045	天文体和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9067-9067	空间区域和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3623-3623	南极地区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3561-3561	北极地区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2644-2644	Bet lid 以色列交界处是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3594-3594	吉尔吉斯首都比什凯克是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	博斯普鲁斯海峡火鸡是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2686-2686	Bwindiforest乌干达是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 93-93	加勒比地区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 78-78	中非是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 100-100	中亚是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 84-84	欧洲中部是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 95-95	中南美洲是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2731-2731	克拉克空军基地菲律宾是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2766-2766	尼泊尔 dang 地区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2787-2787	曼西拉巴基斯坦区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2808-2808	杜尚别机场塔吉克斯坦是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 79-79	东非是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 101-101	东亚是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 85-85	东欧洲是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 96-96	东南美洲是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6946-6946	England 是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2839-2839	费特希耶和马尔马里斯火鸡是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2842-2842	佛罗里达是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1389-1389	加沙地带是地理区域的 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 688-688	边界的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	边界的 2 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4857-4857	基准的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30618-30618	DemonymFn 的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 478-478	定向分区域的 2 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1957-1957	海拔高点的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1933-1933	海拔低点的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 335-335	地理中心的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6914-6914	GeographicPartTypeFn 的 2 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2214-2214	10分钟平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2319-2319	1分钟平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2284-2284	2分钟平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2249-2249	3分钟平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1895-1895	3秒平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1989-1989	平均3秒风速表列的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31724-31724	OrganismPopulationFn 的 2 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6111-6111	海岸的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6168-6168	海岸线的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2029-2029	3秒阵风风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2236-2236	代理人在区域内经营的 2 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3088-3088	airQualityIndex 的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2072-2072	耕地面积的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22929-22929	所负责的地区的 3 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1216-1216	期间平均降水量的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1305-1305	期间平均降雨量的 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.	Geography.kif 1907-1912	如果长度测量是客体的 elevation 和那个客体是 located 在另一个客体和那个另外客体是地理区域的 instance，然后那个另外客体是行星地球的 superficialPart
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.	Geography.kif 705-710	如果地理区域和另一个地理区域的 border 是地理区域的 instance 和那个地理区域是国家的 instance 和那个另外地理区域是国家的 instance，然后那个地理区域和那个另外地理区域的 border 是国际边界的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1727-1733	如果地理区域是地理区域的 instance 和地形属性是客体的 attribute 和那个地形属性是地形属性的 instance 和那个客体是 partlyLocated 在那个地理区域，然后那个地形属性是在區域那个地理区域的 terrain
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	如果地理区域是地理区域的 instance 和那个地理区域的 elevation 高点是那个地理区域的 geographic 次要地区和实数测量单位是那个地理区域的 elevation 高点的 elevation ，然后不存在另一个地理区域和另一个实数这样那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域不 equal 那个地理区域的 elevation 高点和那个另外实数那个测量单位是那个另外地理区域的 elevation 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	如果地理区域是地理区域的 instance 和那个地理区域的 elevation 低点是那个地理区域的 geographic 次要地区和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个地理区域的 elevation 低点的 elevation ，然后不存在另一个地理区域和另一个实数这样那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域不 equal 那个地理区域的 elevation 低点和那个另外实数那个测量单位是那个另外地理区域的 elevation 和那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1865-1870	如果客体是地理区域的 instance 和过程是火山爆发的 instance 和那个过程是 located 在那个客体，然后地质稳定不是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1858-1863	如果客体是地理区域的 instance 和另一个客体是火山的 instance 和火山活跃是那个另外客体的 attribute，然后地质稳定不是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	如果客体是地理区域的 instance 和物理是地质断层的 instance 和那个物理是 located 在那个客体，然后地质稳定不是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	如果地理区域是地理区域的 instance 和时距是月的 instance 和 1 对于 %3 在 %2 周期的 average 温度和 10.0 是 greaterThan 实数，然后极地气候区是那个地理区域地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1872-1877	如果客体是地理区域的 instance 和过程是地震的 instance 和那个过程是 located 在那个客体，然后地质稳定不是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 888-894	如果地区是地理区域的 instance 和过程是天气晴朗的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 lessThan 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 878-886	如果地区是地理区域的 instance 和过程是天气晴朗的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 lessThan 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 939-945	如果地区是地理区域的 instance 和过程是阴云密布的天气的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 greaterThan 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 929-937	如果地区是地理区域的 instance 和过程是阴云密布的天气的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 greaterThan 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 913-921	如果地区是地理区域的 instance 和过程是部分多云的天气的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 greaterThanOrEqualTo 0.3 和那个非负实数是 lessThanOrEqualTo 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 902-911	如果地区是地理区域的 instance 和过程是部分多云的天气的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 greaterThanOrEqualTo 0.3 和那个非负实数是 lessThanOrEqualTo 0.7
No TPTP formula. May not be expressible in strict first order.	Geography.kif 493-498	如果方向属性是方向属性的 instance 和地理区域是地理区域的 instance 和那个方向属性和那个地理区域的 directional 次要地区是地理区域的 instance，然后那个方向属性和那个地理区域的 directional 次要地区是那个地理区域的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	如果方向属性是方向属性的 instance 和地理区域是地理区域的 instance 和那个方向属性和那个地理区域的 directional 次要地区是地理区域的 instance，然后那个方向属性和那个地理区域的 directional 次要地区在那个地理区域的 geographic 中心的那个方向属性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2596-2604	如果过程是尘暴的 instance 和客体是地理区域的 instance 和那个过程是 located 在那个客体，然后 BadAirQuality 是那个客体的 attribute 的声明 has 容易的语气在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2546	如果过程是雾的 instance 和那个过程是 located 在地区和那个地区是地理区域的 instance 和客体是大气地区的 instance 和那个客体在那个地区的以上和另一个客体是气溶胶的 instance 和那个另外客体对于那个客体在时间那个过程出现的 time located 和 visibility 在那个地区期间那个过程出现的 time 是实数仪表，然后那个实数是 lessThan 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 749-759	如果过程是飓风的 instance 和那个过程是 located 在客体和那个客体是地理区域的 instance 和那个客体是 located 在另一个客体或那个客体接上那个另外客体，然后那个另外客体 equal NortheasternPacificOcean 或那个另外客体 equal 北大西洋
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	如果过程是阴霾的 instance 和那个过程是 located 在地区和那个地区是地理区域的 instance 和客体是大气地区的 instance 和那个客体在那个地区的以上和另一个客体对于那个客体在时间那个过程出现的 time located 和 visibility 在那个地区期间那个过程出现的 time 是实数公里，然后那个实数是 greaterThan 2.0 和那个实数是 lessThan 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2586-2594	如果过程是阴霾的 instance 和客体是地理区域的 instance 和那个过程是 located 在那个客体，然后 BadAirQuality 是那个客体的 attribute 的声明 has 容易的语气在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14230-14236	如果客体是岛的 instance 和另一个客体是地理区域的 instance 和那个客体接上那个另外客体，然后那个另外客体不是土地面积的 instance

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.	Weather.kif 1647-1668	如果过程是龙卷风的 instance 和另一个过程是旋转的 instance 和客体是空气的 instance 和那个过程RAN 是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个过程RAN%n是那个另外过程的subProcess 和那个客体是那个过程RAN 的 patient 和那个过程RAN 过程的实体向横，然后有存在另一个客体，自身连接物体,，，那个过程OP,，，第三自身连接物体,，，第四自身连接物体， and 和第五自身连接物体这样那个另外客体是地理区域的 instance 和那个过程是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 ConeSegment 是那个自身连接物体的 attribute 和那个过程OP 是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个第四自身连接物体是云的 instance 和那个第四自身连接物体的 bottom 是那个第五自身连接物体和那个过程OP 接上那个第五自身连接物体和那个第三自身连接物体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	如果内容承载物理是出生证明的 instance 和过程是出生的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在实体，另一个实体， and 和第三实体这样那个实体是那个施事体的 birthdate 和那个实体是日的 instance 和那个另外实体是那个施事体的 birthplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	如果内容承载物理是 DeathCertificate 的 instance 和过程是死亡的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在那个过程AY，另一个实体,，，第三实体， and 和那个另外实体ROC 这样那个过程AY 是那个施事体的 deathdate 和那个过程AY 是日的 instance 和那个另外实体是那个施事体的 deathplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance 和那个另外实体ROC causes 那个过程和那个另外实体ROC 是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26610-26612	如果 UrbanArea 是客体的 attribute，然后那个客体是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1254-1261	如果有点气候区是地理区域地区的 climate 类别，然后有存在客体和属性这样那个客体是地理区域的 instance 和那个属性是有点气候区的 instance 和那个属性是那个客体的 attribute 和那个客体是那个地理区域的 part
No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	如果符号串在 ISO-3166-1-alpha-2 denotes 实体，然后那个实体是地理区域的 instance 和那个符号串是 AlphabeticString 的 instance 和那个符号串是 2 characters long
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1901-1906	如果长度测量是客体的 elevation ，然后有存在另一个客体这样那个另外客体是地理区域的 instance 和那个客体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6302-6312	如果实体是 Cactus 的 instance，然后有存在另一个实体这样那个另外实体是地理区域的 instance 和那个实体是 located 在那个另外实体和有存在第三实体这样那个第三实体是干旱的 instance 和那个第三实体是 located 在那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1257-1269	如果过程是尘暴的 instance，然后有存在地理区域这样那个地理区域是地理区域的 instance 和干旱气候带是那个地理区域地区的 climate 类别和那个过程是 located 在那个地理区域或有存在另一个地理区域这样那个另外地理区域是地理区域的 instance 和半干旱气候带是那个另外地理区域地区的 climate 类别和那个过程是 located 在那个另外地理区域
No TPTP formula. May not be expressible in strict first order.	Weather.kif 736-747	如果实体是飓风的 instance，然后有存在过程，地理区域， and 和实数这样那个过程是热带气旋的 instance 和那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 74.0
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	如果物理是地面攻击导弹的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient 和那个第三实体是损坏的 instance 和那个另外实体是地理区域的 instance 和那个物理是 located 在那个另外实体和那个实体是 located 在那个另外实体在那个第三实体出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13287-13292	如果实体是地图的 instance，然后有存在另一个实体这样那个另外实体是地理区域的 instance 和那个实体表达那个另外实体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1728-1738	如果过程是地面风速量度的 instance，然后有存在客体和另一个客体这样那个客体是地理区域的 instance 和那个另外客体是设备的 instance 和那个过程是 located 在那个客体和那个另外客体是导致那个过程的 instrument 和 10.0 仪表是那个另外客体的 elevation 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2638-2647	如果过程是暴风雪的 instance，然后有存在地区和实数这样那个地区是地理区域的 instance 和那个过程是 located 在那个地区和 visibility 在那个地区期间那个过程出现的 time 是那个实数仪表和那个实数是 lessThan 400.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2623-2636	如果物理是暴风雪的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是地理区域的 instance 和那个物理是 located 在那个实体和那个另外实体结速度单位是那个实体的 surface 风速和那个另外实体是 greaterThan 35.0 和那个物理出现的 time 的 duration 是那个第三实体小时和那个第三实体是 greaterThan 3 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2936-2951	如果物理是雪暴的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是下雪的 instance 和那个另外实体是地理区域的 instance 和那个实体是 located 在那个另外实体和那个实体%n是那个物理的subProcess 和 snow 的下降 rate 在那个另外实体期间那个实体出现的 time 是 1 小时是那个第三实体厘米的 per 和那个第三实体是 greaterThan 5.0 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2901-2910	如果物理是风暴的 instance，然后有存在实体和另一个实体这样那个实体是地理区域的 instance 和那个另外实体结速度单位是那个实体的 surface 风速和那个另外实体是 greaterThan 30.0 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2889-2899	如果物理是风暴的 instance，然后有存在实体和另一个实体这样那个实体是沉淀的 instance 和那个另外实体是地理区域的 instance 和那个实体是 located 在那个另外实体和那个实体%n是那个物理的subProcess 的声明 has 容易的语气在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 615-621	如果过程是热带氣旋系统的 instance，然后有存在地理区域这样那个地理区域是地理区域的 instance 和那个地理区域是热带的 geographic 次要地区和那个地理区域是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Weather.kif 770-781	如果实体是台风的 instance，然后有存在那个实体C，地理区域， and 和实数这样那个实体C 是热带气旋的 instance 和那个地理区域是地理区域的 instance 和那个实体C 是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个实体C 出现的 time时段的 Mean10MinutesWindSpeedFn 和那个实数是 greaterThanOrEqualTo 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-687	如果过程是热带气旋的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 656-666	如果过程是热带低气压的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 lessThanOrEqualTo 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 712-723	如果过程是热带风暴的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 39.0 和那个实数是 lessThanOrEqualTo 74.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26415-26423	如果实体是 DiningGuide 的 instance，然后有存在客体和物理这样那个客体是地理区域的 instance 和那个实体提到那个客体和那个物理是餐厅的 instance 和那个物理是 located 在那个客体和那个实体提到那个物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26403-26408	如果实体是 GuideBook 的 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: