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 1248-1254
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 10232-10232	地区详尽无遗地 partition 成地理区域和空间区域
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1246-1246	地区是客体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4996-4996	流动区域的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 792-792	内部边界的 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 804-804	外边界的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4237-4237	表示位置的函数的 range 是地区的实例
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1307-1307	AirportStagingArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2113-2113	AssemblyStation 是地区的 subclass
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 16939-16939	DiningArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7733-7733	EducationalCampus 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7693-7693	Facility 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10249-10249	流动区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14169-14169	地理区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9974-9974	洞是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 551-551	亲水侧是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 540-540	疏水面是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10347-10347	在室内是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16914-16914	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.	Mid-level-ontology.kif 27273-27273	LineInSpace 是地区的 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 17159-17159	MagneticField 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2743-2743	MilitaryBase 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3689-3689	MultimodalTransitPoint 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10335-10335	在户外是地区的 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 791-791	内部边界的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 776-776	海上主张领海的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6726-6726	MarketInRegionFn 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6742-6742	MarketOfItemInRegionFn 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1905-1905	MealAttributeFn 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-803	外边界的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 764-764	周边区域的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6680-6680	速度函数的 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 194-194	baptizedplace 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26244-26244	canonicalPlaceName 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3221-3221	能够在位置的 4 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-790	capacityByArrangement 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1105-1105	云覆盖部分的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1085-1085	白天小时间隔的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1095-1095	白天的总时数的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7847-7847	entrance 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7848-7848	entrance 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5080-5080	highTide 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5089-5089	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 4537-4537	providesDestination 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3638-3638	之间的路线的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3639-3639	之间的路线的 3 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3375-3375	routeEnd 的 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.	Weather.kif 3069-3079	实体是地区的 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 32014-32021	如果 Inhabited 是客体的 attribute 和那个客体是地区的 instance，然后有存在生物这样那个生物是人类的 instance 和那个生物住在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31998-32006	如果 Uninhabited 是客体的 attribute 和那个客体是地区的 instance，然后不存在生物这样那个生物是人类的 instance 和那个生物住在那个客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1550	如果 cylinderBore 洞 and 长度测量和那个洞是洞的 instance 和那个洞是圆筒和客体是那个洞的 part 和那个客体是地区的 instance 和那个客体是圈和那个圈 equal 圈，然后那个圈的 diameter 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27431-27443	如果 PlaneInSpace equal LevelPlaneFn PointInSpace and 天文体和那个 PointInSpace 是客体的 part 和那个客体是地区的 instance 和那个客体是 located 在那个天文体，然后有存在 FiniteLineInSpace 这样那个 FiniteLineInSpace 是 LineInSpace 的 instance 和 endPointsOfLineInSpace 那个 PointInSpace, CenterOfPlanetFn 那个天文体 and 那个 FiniteLineInSpace 和那个 PlaneInSpace 在那个 FiniteLineInSpace 的直角
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 13794-13799	如果过程是放射光线的 instance 和客体是那个过程的 patient 和那个客体是地区的 instance，然后发光的是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1050-1057	如果客体是 Laser 的 instance 和过程是辐射可见光的 instance 和那个客体是导致那个过程的 instrument 和另一个客体是那个过程的 patient 和那个另外客体是地区的 instance，然后那个另外客体是单色的 color
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 3484-3489	如果客体和另一个客体重叠和那个另外客体是地区的 instance 和那个客体不 equal 那个另外客体，然后那个客体是 partlyLocated 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3139-3160	如果 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 798-800	如果地区是地区的 instance，然后那个地区的 inner 边界是那个地区的 superficialPart
No TPTP formula. May not be expressible in strict first order.	Geography.kif 810-812	如果地区是地区的 instance，然后那个地区的 outer 边界是那个地区的 superficialPart

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2860-2871	如果时距是干旱的 instance 和那个时距是 located 在客体，然后不存在另一个时距和另一个客体这样那个另外时距是下雨的 instance 和那个另外客体是地区的 instance 和那个另外时距是 located 在那个另外客体和那个另外客体和那个客体重叠和那个时距时段和那个另外时距重叠
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6140-6151	如果属性是 LandMeanOfProduction 的 instance 和那个属性是那个属性O 的 attribute，然后有存在另一个客体和实体这样那个另外客体是地区的 instance 和那个属性O 是那个另外客体的 part 或那个实体是 ElectromagenticSpectrum 的 instance 和那个属性O equal 那个实体
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 11693-11702	如果过程是易位的 instance 和客体是那个过程的源头，然后有存在另一个客体和另一个过程这样那个另外客体是地区的 instance 和那个客体不 equal 那个另外客体和那个另外过程%n是那个过程的subProcess 和那个另外过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31924-31954	如果过程是 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 13801-13807	如果发光的是客体的 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 1065-1073	如果 DownAndInRoom 是客体的 attribute，然后有存在另一个客体和第三客体这样那个第三客体是在室内的 instance 和那个另外客体是地区的 instance 和那个另外客体在那个客体的邻和那个另外客体在那个客体的外和那个另外客体是 located 在那个第三客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1080-1088	如果 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 1452-1464	如果客体是 TemperatureControl 的 instance，然后有存在另一个客体和实体这样那个另外客体是电器的 instance 和那个客体是那个另外客体的 part 和那个另外客体的目的是有存在另一个实体和第三实体这样那个第三实体是地区的 instance 和那个另外实体是过程的 instance 和那个客体是导致那个另外实体的 instrument 和那个实体是那个第三实体的 air 温度是那个另外实体的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18598-18611	如果过程是 Entering 的 instance，然后有存在实体和施事体这样那个实体是地区的 instance 和那个过程在那个实体结束和那个施事体是那个过程的 agent 和那个施事体是施事体的 instance 和那个施事体在那个实体的外在那个过程出现的 time 的开始 holdsDuring 和那个施事体在那个实体的内在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18617-18630	如果过程是 Exiting 的 instance，然后有存在客体和施事体这样那个客体是地区的 instance 和那个客体是那个过程的源头和那个施事体是那个过程的 agent 和那个施事体是施事体的 instance 和那个施事体在那个客体的内在那个过程出现的 time 的开始 holdsDuring 和那个施事体在那个客体的外在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Sports.kif 976-986	如果自身连接物体是高尔夫球洞的 instance，然后有存在另一个自身连接物体这样那个自身连接物体是圆筒和那个另外自身连接物体是那个自身连接物体的 top 和那个另外自身连接物体是地区的 instance 和那个另外自身连接物体是那个另外自身连接物体IR 和那个另外自身连接物体IR equal 圈和那个另外自身连接物体IR 的 diameter 是 4.25 英寸
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1344-1358	如果物理是大雨的 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.	Mid-level-ontology.kif 7723-7731	如果内容承载物理是 PositionReport 的 instance，然后 containsFormula 那个内容承载物理 and 有存在实体和另一个实体这样那个实体是客体的 instance 和那个另外实体是地区的 instance 和那个实体是 located 在那个内容承载物理出现的 time
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3255-3269	如果物理是骤雨的 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 3306-3319	如果物理是风暴的 instance，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是低压天气系统的 instance 和那个另外实体是地区的 instance 和那个实体是 located 在那个另外实体和那个第三实体是空气的 instance 和那个第四实体是向上运动的 instance 和那个第三实体是那个第四实体的 patient 和那个第四实体是 located 在那个另外实体和那个第四实体%n是那个实体的subProcess 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Communications.kif 316-334	如果过程是 Telemetry 的 instance，然后有存在客体，施事体,，，另一个客体,，，物理,，，另一个过程， and 和第三过程这样那个另外过程是测量的 instance 和那个施事体是测量工具的 instance 和那个客体是地区的 instance 和那个另外客体是地区的 instance 和那个第三过程是讯息的 instance 和那个第三过程%n是那个过程的subProcess 和那个另外过程%n是那个过程的subProcess 和那个物理是 ElectronicDataStorageDevice 的 instance 和那个施事体是那个另外过程的 agent 和那个施事体是 located 在那个客体和那个物理是 located 在那个另外客体和那个另外过程是 located 在那个客体和那个另外客体不 equal 那个客体和那个施事体是那个第三过程的源头和那个第三过程在那个物理结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10321-10323	如果客体在另一个客体的内，然后那个另外客体是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10317-10319	如果客体在另一个客体的外，然后那个另外客体是地区的 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: