TreeView 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 9026-9026	地区详尽无遗地 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 4224-4224	表示位置的函数的 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 15566-15566	DiningArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9043-9043	流动区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14031-14031	地理区域是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9851-9851	洞是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 547-547	亲水侧是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 536-536	疏水面是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9141-9141	在室内是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15541-15541	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 9129-9129	在户外是地区的 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 26634-26634	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 22217-22217	路是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15528-15528	SittingArea 是地区的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9067-9067	空间区域是地区的 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 6670-6670	速度函数的 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 24580-24580	canonicalPlaceName 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2690-2690	能够在位置的 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 870-870	云覆盖部分的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 850-850	白天小时间隔的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 860-860	白天的总时数的 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 3396-3396	providesDestination 的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2904-2904	之间的路线的 2 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2905-2905	之间的路线的 3 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2777-2777	routeEnd 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2754-2754	routeStart 的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31194-31194	总面积的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2702-2702	气象学能见度的 1 数量是地区的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2680-2690	实体是地区的 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 30120-30127	如果 Inhabited 是客体的 attribute 和那个客体是地区的 instance，然后有存在生物这样那个生物是人类的 instance 和那个生物住在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30104-30112	如果 Uninhabited 是客体的 attribute 和那个客体是地区的 instance，然后不存在生物这样那个生物是人类的 instance 和那个生物住在那个客体
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 13655-13660	如果过程是放射光线的 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.	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 2750-2771	如果 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 2471-2482	如果时距是干旱的 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 11558-11567	如果过程是易位的 instance 和客体是那个过程的源头，然后有存在另一个客体和另一个过程这样那个另外客体是地区的 instance 和那个客体不 equal 那个另外客体和那个另外过程%n是那个过程的subProcess 和那个另外过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	如果过程是 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 13662-13668	如果发光的是客体的 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.	Weather.kif 1109-1123	如果物理是大雨的 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 2865-2879	如果物理是骤雨的 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 2916-2929	如果物理是风暴的 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 9115-9117	如果客体在另一个客体的内，然后那个另外客体是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9111-9113	如果客体在另一个客体的外，然后那个另外客体是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	如果方向属性是客体的 surface 风向，然后有存在过程和另一个客体这样那个过程是风的 instance 和那个另外客体是地区的 instance 和那个过程是 partly located 在那个客体和那个另外客体是那个过程的源头和那个另外客体在那个客体的那个方向属性

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: