Building - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3586-3587
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15740-15741
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1678-1678
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2127-2127
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15739-15739	建筑物是固定人工制品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15756-15756	房间和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7320-7320	礼堂是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15736-15736	谷仓是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 648-648	棒球独木舟是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7044-7044	商业建筑是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22390-22390	娱乐建筑是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7091-7091	农场建设是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22402-22402	政府大楼是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26503-26503	HighRise 是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2934-2934	家庭车库是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 132-132	HotelVilla 是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8476-8476	LibraryBuilding 是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7667-7667	医疗诊所大楼是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22477-22477	办公楼是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2935-2935	停车库是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22520-22520	礼拜的场所是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20922-20922	警察设施是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7904-7904	宗教建筑是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15803-15803	住宅楼是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22556-22556	餐厅建筑是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22482-22482	学校楼是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7079-7079	商店是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2919-2919	航站楼是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3076-3076	收费站是建筑物的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1051-1051

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.

Hotel.kif 702-702

numberOfFloors 的 1 数量是建筑物的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	如果 WheelchairAccessible 是客体的 attribute 和那个客体是建筑物的 instance 或那个客体是房间的 instance，然后有存在实体和另一个实体这样那个实体是运动的 instance 和那个另外实体是导致那个实体的 instrument 和那个另外实体是 Wheelchair 的 instance 和那个实体是 located 在那个客体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15097-15107	如果客体是建设水平的 instance 和另一个客体是建设水平的 instance 和第三客体是建筑物的 instance 和那个客体是那个第三客体的 part 和那个另外客体是那个第三客体的 part，然后有存在第四客体这样那个第四客体是脚步的 instance 和那个第四客体 connects 那个客体和那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15073-15085	如果客体是楼梯的 instance 和那个客体是另一个客体的 part 和那个另外客体是建筑物的 instance，然后那个客体的目的是有存在实体和另一个实体这样那个实体是建设水平的 instance 和那个另外实体是建设水平的 instance 和那个实体是那个另外客体的 part 和那个另外实体是那个另外客体的 part 和那个客体 connects 那个实体和那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6921-6927	如果永久居留权是单身家庭住所的 instance 和人类的 home 是那个永久居留权和那个人类 possesses 那个永久居留权和那个永久居留权不是建筑物的 instance，然后那个永久居留权是共管公寓单位的 instance
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	如果有认知的主事 possesses 客体和那个有认知的主事是商业代理人的 instance 和那个客体是停车场的 instance 和另一个客体是建筑物的 instance 和那个有认知的主事是 located 在那个另外客体和施事体是那个有认知的主事的 customer 和那个施事体是 located 在那个另外客体在时间位置 holdsDuring 和过程是驾驶的 instance 和实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在那个另外客体结束，然后那个有认知的主事允许那个施事体执行另一个实体是保存的 instance 和那个另外实体在那个客体结束和那个实体是那个另外实体的 patient 的任务在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15743-15753	如果客体是建筑物的 instance，然后有存在生物这样那个生物是人类的 instance 和那个生物住在那个客体或有存在过程这样那个生物是那个过程的 agent 和那个过程是 located 在那个客体

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5043-5051	如果实体是户外服装的 instance 和另一个实体 wears 那个实体在时间位置 holdsDuring，然后不存在第三实体这样那个第三实体是建筑物的 instance 和那个另外实体是 located 在那个第三实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	如果群体是机构的 instance 和仓储和储存是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体和第三实体这样那个第三实体是时距的 instance 和那个另外实体是建筑物的 instance 和那个有认知的主事 possesses 那个实体和那个另外实体是 located 在那个实体在那个第三实体 holdsDuring 的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6721-6727	如果固定人工制品, 巷道, 城市和国家的 street 地址 equal 施事体，然后有存在客体这样那个客体是建筑物的 instance 和那个固定人工制品是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21183-21192	如果建筑有在人类的专业知识，然后有存在过程，实体， and 和另一个实体这样那个过程是内容制作的 instance 和那个人类是那个过程的 agent 和那个实体是那个过程的 result 和那个实体是蓝图的 instance 和那个实体表达那个另外实体和那个另外实体是建筑物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15411-15420	如果客体是地下室的 instance，然后不存在另一个客体和第三客体这样那个另外客体是建设水平的 instance 和那个第三客体是建筑物的 instance 和那个另外客体是那个第三客体的 part 和那个客体是那个第三客体的 part 和那个另外客体不 equal 那个客体和那个另外客体在那个客体的下面
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20552-20559	如果固定人工制品是 BuildingUnit 的 instance，然后有存在机构和客体这样那个客体是建筑物的 instance 和那个机构是机构的 instance 和那个固定人工制品是那个客体的 part 和 workLocation 那个机构 and 那个固定人工制品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20792-20799	如果过程是木工的 instance，然后有存在客体和另一个客体这样那个客体是建筑物的 instance 和那个另外客体是木的 instance 和那个另外客体是那个客体的 part 和那个客体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15299-15306	如果客体是门的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 part 和那个另外客体是建筑物的 instance 或那个另外客体是房间的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15427-15440	如果物理是电梯的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是运输的 instance 和那个另外实体是那个实体的源头和那个另外实体是建设水平的 instance 和那个实体在那个第三实体结束和那个第三实体是建设水平的 instance 和那个另外实体不 equal 那个第三实体和那个另外实体是那个第四实体的 part 和那个第三实体是那个第四实体的 part 和那个第四实体是建筑物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15373-15378	如果客体是壁炉的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15486-15491	如果客体是车库的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15622-15637	如果物理是门厅的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是易位的 instance 和那个物理%n是那个实体发生的path 和那个物理是 located 在那个另外实体和那个另外实体是建筑物的 instance 和那个物理是在那个第三实体和那个第四实体 between 和那个第三实体是房间的 instance 和那个第四实体是房间的 instance 和那个第三实体是 located 在那个另外实体和那个第四实体是 located 在那个另外实体和那个第三实体不 equal 那个第四实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9145-9150	如果客体是在室内的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体在那个另外客体的内
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15399-15404	如果客体是建设水平的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8499-8506	如果施事体是美术博物馆的 instance，然后有存在客体和物理这样那个施事体 possesses 那个客体和那个客体是建筑物的 instance 和那个物理是艺术品的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9133-9139	如果客体是在户外的 instance，然后不存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体在那个另外客体的内
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15689-15696	如果客体是工业厂房的 instance，然后那个客体是建筑物的 instance 或有存在物理这样那个物理是建筑物的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15644-15649	如果客体是门廊的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体和那个另外客体是 connected
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15346-15351	如果自身连接物体是屋顶的 instance，然后有存在另一个自身连接物体这样那个另外自身连接物体是建筑物的 instance 和那个自身连接物体是那个另外自身连接物体的 top
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15762-15767	如果客体是房间的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体是那个另外客体的 properPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7913-7918	如果客体是尖顶的 instance，然后有存在另一个客体这样那个另外客体是建筑物的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15176-15184	如果客体是窗口的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 part 和那个另外客体是建筑物的 instance 或那个另外客体是房间的 instance 或那个另外客体是车辆的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15312-15319	如果客体是壁的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 part 和那个另外客体是建筑物的 instance 或那个另外客体是房间的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15290-15297	如果客体是门口的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 part 和那个另外客体是建筑物的 instance 或那个另外客体是房间的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26021-26032	如果自身连接物体是 Courtyard 的 instance，然后不存在另一个自身连接物体这样那个另外自身连接物体是屋顶的 instance 和那个另外自身连接物体是那个自身连接物体的 top 和有存在客体这样那个客体是建筑物的 instance 和那个自身连接物体在那个客体的 Surrounded

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: