Region - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1626-1629
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1253-1259
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 208-211
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 247-251
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9053-9053	地区详尽无遗地 partition 成地理区域和空间区域
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	地区是客体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	流动区域的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 797-797	内部边界的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	纬度的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 809-809	外边界的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4225-4225	表示位置的函数的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Weather.kif 10-10	大气层是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15593-15593	DiningArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9070-9070	流动区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14077-14077	地理区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9887-9887	洞是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 546-546	亲水侧是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 535-535	疏水面是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9168-9168	在室内是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15568-15568	KitchenArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 302-302	纬度是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 311-311	经度是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9156-9156	在户外是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 31-31	ParkingRegion 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26667-26667	Patio 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 762-762	周边区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 982-982	PlayArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1354-1354	房地产是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22269-22269	路是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15555-15555	SittingArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9094-9094	空间区域是地区的 subclass

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 796-796	内部边界的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 781-781	海上主张领海的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1899-1899	MealAttributeFn 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 808-808	外边界的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 769-769	周边区域的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6671-6671	速度函数的 3 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1314-1314	经营范围的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 189-189	baptizedplace 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24637-24637	canonicalPlaceName 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2723-2723	能够在位置的 4 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 786-786	capacityByArrangement 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 854-854	云覆盖部分的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 834-834	白天小时间隔的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 844-844	白天的总时数的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5010-5010	highTide 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5019-5019	lowTide 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	地区地图的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3448-3448	providesDestination 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2955-2955	之间的路线的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2956-2956	之间的路线的 3 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2810-2810	routeEnd 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2787-2787	routeStart 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31226-31226	总面积的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2685-2685	气象学能见度的 1 数量是地区的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2663-2673	实体是地区的 instance 和那个实体有标准状况的 attribute 在时间位置 holdsDuring 若且唯若 298.15 凯文度是那个实体的 air 温度和 29.530 英寸汞是那个实体的 barometric 压力在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30144-30151	如果 Inhabited 是客体的 attribute 和那个客体是地区的 instance，然后有存在生物这样那个生物是人类的 instance 和那个生物住在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30128-30136	如果 Uninhabited 是客体的 attribute 和那个客体是地区的 instance，然后不存在生物这样那个生物是人类的 instance 和那个生物住在那个客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	如果 cylinderBore 洞 and 长度测量和那个洞是洞的 instance 和那个洞是圆筒和客体是那个洞的 part 和那个客体是地区的 instance 和那个客体是圈，然后那个客体的 diameter 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	如果 @ROW 的 region 方向属性是地区的 instance 和 (@ROW) 的第 1 几个元素 equal 实数圆周角度，然后那个实数是 lessThanOrEqualTo 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	如果在 @ROW 方向属性的 meridian 是地区的 instance 和 (@ROW) 的第 1 几个元素 equal 实数圆周角度，然后那个实数是 lessThanOrEqualTo 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13701-13706	如果过程是放射光线的 instance 和客体是那个过程的 patient 和那个客体是地区的 instance，然后发光的是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1326-1331	如果军事行动是军事行动的 instance 和那个军事行动是 located 在地区和那个地区是地区的 instance，然后经营范围那个地区 and 那个军事行动
No TPTP formula. May not be expressible in strict first order.	Weather.kif 531-538	如果过程是低压天气系统的 instance 和客体是地区的 instance 和那个过程是 located 在那个客体，然后实数英寸汞是那个客体的 barometric 压力和那个实数是 lessThan 29.5
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	如果客体是地区的 instance 和 Vacuum 是那个客体的 attribute，然后不存在物理这样那个物理是客体的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	如果客体和另一个客体重叠和那个另外客体是地区的 instance 和那个客体不 equal 那个另外客体，然后那个客体是 partlyLocated 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2733-2754	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	如果 @ROW 的 region 方向属性是地区的 instance，然后那个方向属性 equal 北或那个方向属性 equal 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 461-465	如果在 @ROW 方向属性的 meridian 是地区的 instance，然后那个方向属性 equal 东或那个方向属性 equal 西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-805	如果地区是地区的 instance，然后那个地区的 inner 边界是那个地区的 superficialPart
No TPTP formula. May not be expressible in strict first order.	Geography.kif 815-817	如果地区是地区的 instance，然后那个地区的 outer 边界是那个地区的 superficialPart

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2454-2465	如果时距是干旱的 instance 和那个时距是 located 在客体，然后不存在另一个时距和另一个客体这样那个另外时距是下雨的 instance 和那个另外客体是地区的 instance 和那个另外时距是 located 在那个另外客体和那个另外客体和那个客体重叠和那个时距时段和那个另外时距重叠
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	如果过程是定位的 instance 和实体是那个过程的 patient 和施事体是那个过程的 agent，然后那个过程的目的是有存在另一个实体这样那个另外实体是地区的 instance 和那个施事体 knows 那个实体是 located 在那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11604-11613	如果过程是易位的 instance 和客体是那个过程的源头，然后有存在另一个客体和另一个过程这样那个另外客体是地区的 instance 和那个客体不 equal 那个另外客体和那个另外过程%n是那个过程的subProcess 和那个另外过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30054-30084	如果过程是 BreakingRecord 的 instance 和施事体是那个过程的 agent，然后有存在集合，类,，，另一个过程,，，时点,，，格角色,，，客体， and 和实体这样那个集合是集合的 instance 和那个施事体是那个集合的 element 和那个类是过程的 subclass 和那个客体是地区的 instance 和那个时点是时点的 instance 和那个实体是数量的 instance 和那个另外过程是那个类的 instance 和那个过程提到那个实体和那个实体提到那个另外过程和那个施事体对于那个另外过程在事件那个格角色 plays 角色和那个另外过程是 located 在那个客体和不存在另一个实体和第三实体这样那个另外实体是那个集合的 instance 和那个另外实体不 equal 那个施事体和那个第三实体是那个类的 instance 和那个另外实体对于那个第三实体在事件那个格角色 plays 角色和那个第三实体是 located 在那个客体在那个时点和那个过程出现的 time 的结束间的时段 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13708-13714	如果发光的是客体的 attribute，然后有存在过程这样那个过程是放射光线的 instance 和那个客体是那个过程的 patient 和那个客体是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	如果 OpenLayout 是客体的 attribute，然后那个客体是房间的 instance 和有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是地区的 instance 和那个第三客体是地区的 instance 和那个另外客体是 located 在那个客体和那个第三客体是 located 在那个客体和那个另外客体不 equal 那个第三客体和那个另外客体在那个第三客体的邻和有存在公式和另一个公式这样那个公式是过程的 instance 和那个另外公式是过程的 instance 和那个另外客体的目的是那个公式和那个第三客体的目的是那个另外公式和如果那个第四客体是施事体的 instance 和那个第四客体是 located 在那个第三客体，然后那个第四客体能够担当主事的角色做看和那个另外客体能够担当受事的角色做看
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	如果 DownAndInRoom 是客体的 attribute，然后有存在另一个客体和第三客体这样那个第三客体是在室内的 instance 和那个另外客体是地区的 instance 和那个另外客体在那个客体的邻和那个另外客体在那个客体的外和那个另外客体是 located 在那个第三客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	如果 DownAndOutRoom 是客体的 attribute，然后有存在另一个客体和第三客体这样那个第三客体是在户外的 instance 和那个另外客体是地区的 instance 和那个另外客体在那个客体的邻和那个另外客体在那个客体的外和那个另外客体是 located 在那个第三客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	如果 PartialVacuum 是客体的 attribute，然后有存在另一个客体，第三客体,，，实数,，，另一个实数， and 和测量单位这样那个另外客体是自身连接物体的 instance 和那个第三客体是地区的 instance 和那个第三客体不 equal 那个客体和那个客体和那个另外客体是 connected 和那个第三客体和那个另外客体是 connected 和那个第三客体的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个测量单位是 UnitOfAtmosphericPressure 的 instance 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	如果 Pressurized 是客体的 attribute，然后有存在另一个客体，第三客体,，，实数,，，另一个实数， and 和测量单位这样那个另外客体是自身连接物体的 instance 和那个第三客体是地区的 instance 和那个第三客体不 equal 那个客体和那个客体和那个另外客体是 connected 和那个第三客体和那个另外客体是 connected 和那个第三客体的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个测量单位是 UnitOfAtmosphericPressure 的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1151	如果客体是 TemperatureControl 的 instance，然后有存在另一个客体和实体这样那个另外客体是电器的 instance 和那个客体是那个另外客体的 part 和那个另外客体的目的是有存在另一个实体和第三实体这样那个第三实体是地区的 instance 和那个另外实体是过程的 instance 和那个客体是导致那个另外实体的 instrument 和那个实体是那个第三实体的 air 温度是那个另外实体的 result
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	如果自身连接物体是高尔夫球洞的 instance，然后有存在另一个自身连接物体这样那个自身连接物体是圆筒和那个另外自身连接物体是那个自身连接物体的 top 和那个另外自身连接物体是地区的 instance 和那个另外自身连接物体是圈和那个另外自身连接物体的 diameter 是 4.25 英寸
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1093-1107	如果物理是大雨的 instance，然后有存在实体和另一个实体这样那个实体是地区的 instance 和那个物理是 located 在那个实体和 rain 的 rate 在那个实体期间那个物理出现的 time 是 1 小时是那个另外实体毫米的 per 和那个另外实体是 greaterThan 10.0 和 50.0 是 greaterThan 那个另外实体在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2848-2862	如果物理是骤雨的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是下雨的 instance 和那个另外实体是下雨的 instance 和那个第三实体是地区的 instance 和那个实体%n是那个物理的subProcess 和那个另外实体%n是那个物理的subProcess 和那个实体是 located 在那个第三实体和那个另外实体是 located 在那个第三实体和那个另外实体出现的 time 时段 doesn't 和那个实体出现的 time 重叠在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2899-2912	如果物理是风暴的 instance，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是低压天气系统的 instance 和那个另外实体是地区的 instance 和那个实体是 located 在那个另外实体和那个第三实体是空气的 instance 和那个第四实体是向上运动的 instance 和那个第三实体是那个第四实体的 patient 和那个第四实体是 located 在那个另外实体和那个第四实体%n是那个实体的subProcess 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9142-9144	如果客体在另一个客体的内，然后那个另外客体是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9138-9140	如果客体在另一个客体的外，然后那个另外客体是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 166-174	如果方向属性是客体的 surface 风向，然后有存在过程和另一个客体这样那个过程是风的 instance 和那个另外客体是地区的 instance 和那个过程是 partly located 在那个客体和那个另外客体是那个过程的源头和那个另外客体在那个客体的那个方向属性

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: