No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1207-1216	如果 属性 是 客体 的 attribute 和 那个 属性 是 HotelLevelAttribute 的 instance， 然后 那个 客体 是 建设水平 的 instance 和 有存在 另一个 客体 这样 那个 另外 客体 是 HotelBuilding 的 instance 和 那个 客体 是 那个 另外 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25684	如果 属性 是 客体 的 attribute 和 那个 属性 是 TemperatureAttribute 的 instance 和 那个 客体 是 客体 的 instance， 然后 有存在 另一个 客体 这样 那个 客体 的 measure 是 那个 另外 客体 和 那个 另外 客体 是 温度测量 的 instance 和 那个 属性 是 那个 另外 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	如果 CommunalAttribute 是 客体 的 attribute 和 那个 客体 是 表 的 instance 和 过程 是 进食 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 是 一群人 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 有存在 实体， 另一个 实体， and 和 那个 客体2 这样 那个 另外 实体 是 进食 的 instance 和 那个 实体 是 那个 另外 实体 的 agent 和 那个 施事体 不 equal 那个 实体 和 那个 实体 是 一群人 的 instance 和 那个 另外 实体 是 located 在 那个 客体2 和 那个 过程 出现 的 time 接着 那个 另外 实体 出现 的 time 和 那个 客体 equal 那个 客体2 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	如果 深海沿岸和大湖泊水运 是 有认知的主事 的 attribute 和 那个 有认知的主事 是 运输公司 的 instance， 然后 有存在 服务 和 客体 这样 那个 服务 是 WaterTransportationService 的 instance 和 那个 有认知的主事 在 那个 服务 中提供服务 和 那个 服务 是 located 在 那个 客体 和 那个 客体 是 水域 的 instance 和 那个 有认知的主事 是 located 在 北美
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1466-1474	如果 DutyFree 是 客体 的 attribute 和 那个 客体 是 产品 的 instance， 然后 不存在 过程 这样 那个 过程 是 关税 的 instance 和 那个 客体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	如果 DutyFree 是 客体 的 attribute 和 那个 客体 是 商店 的 instance， 然后 有存在 地缘政治区域， 实体,， ， 另一个 有点 客体， and 和 过程 这样 那个 地缘政治区域 是 地缘政治区域 的 instance 和 那个 客体 是 located 在 那个 地缘政治区域 和 另一个 有点 客体 是 客体 的 subclass 和 那个 另外 有点 客体 是 那个 地缘政治区域 的 import 商品种类 和 那个 实体 是 那个 另外 有点 客体 的 instance 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26582-26590	如果 Historical 是 客体 的 attribute 和 那个 客体 是 城市 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 物理 的 instance 和 Historical 是 那个 另外 客体 的 attribute 和 那个 另外 客体 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25736-25749	如果 Multilingual 是 施事体 的 attribute 和 过程 是 说话 的 instance 和 那个 施事体 是 那个 过程 的 agent， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 口语人类语言 的 instance 和 那个 另外 实体 是 口语人类语言 的 instance 和 那个 实体 不 equal 那个 另外 实体 和 那个 实体 是 那个 过程 的 patient 或 那个 另外 实体 是 那个 过程 的 patient 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	如果 农产品 是 客体 的 attribute 和 那个 客体 是 水果或蔬菜 的 instance， 然后 那个 客体 的 目的 是 有存在 实体 这样 那个 实体 是 收获 的 instance 和 那个 客体 是 那个 实体 的 result 和 那个 客体 是 food for 人类 的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	如果 Suite 是 客体 的 attribute 和 那个 客体 是 HotelUnit 的 instance， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 HotelRoom 的 instance 和 那个 第三 客体 是 HotelRoom 的 instance 和 那个 另外 客体 在 那个 客体 的 内 和 那个 第三 客体 在 那个 客体 的 内 和 那个 另外 客体 不 equal 那个 第三 客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	如果 旅客住宿 是 施事体 的 attribute 和 那个 施事体 能够担当 主事 的角色做 RoomCleaningService， 然后 有存在 有认知的主事 和 客体 这样 那个 施事体 employs 那个 有认知的主事 和 女佣 是 那个 有认知的主事 的 attribute 和 那个 客体 是 HotelUnit 的 instance 和 那个 客体 是 那个 施事体 的财产 的 part 和 那个 客体 能够担当 受事 的角色做 RoomCleaningService 和 那个 有认知的主事 能够担当 服务供应者 的角色做 RoomCleaningService
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	如果 Waiter 是 有认知的主事 的 attribute 和 那个 有认知的主事 是 人类 的 instance 和 施事体 employs 那个 有认知的主事 和 那个 施事体 是 餐厅 的 instance 和 那个 施事体 是 另一个 有认知的主事 的 customer 和 那个 另外 有认知的主事 是 located 在 客体 和 那个 客体 是 表 的 instance， 然后 有存在 另一个 客体， 实体,， ， 另一个 实体， and 和 第三 客体 这样 那个 施事体 possesses 那个 第三 客体 和 那个 第三 客体 是 KitchenArea 的 instance 和 那个 另外 客体 是 DiningArea 的 instance 和 那个 客体 是 located 在 那个 另外 客体 和 那个 有认知的主事 的 目的 是 那个 实体 是 携带 的 instance 和 那个 有认知的主事 是 那个 实体 的 agent 和 那个 第三 客体 是 那个 实体 的源头 和 那个 实体 在 那个 客体 结束 和 那个 另外 实体 是 那个 实体 的 patient 和 那个 另外 实体 是 food for 人类 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26159	如果 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 29767-29776	如果 客体 對於 另一个 客体 between 在路徑 第三 客体 和 转移 是 转移 的 instance 和 第四 客体%n是那个 转移发生的path 和 那个 客体 是 那个 转移 的源头 和 那个 转移 在 那个 另外 客体 结束， 然后 beforeOnPath 那个 客体, 那个 第三 客体, 那个 第四 客体 and 那个 转移 和 beforeOnPath 那个 第三 客体, 那个 另外 客体, 那个 第四 客体 and 那个 转移
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	如果 日 是 人类 的 birthdate 和 那个 日 是 正整数 day 的 instance， 然后 有存在 另一个 有点 日 和 整数 这样 那个 人类 的 birthday 是 另一个 有点 日 和 那个 另外 有点 日 是 日 的 subclass 和 那个 整数 是 整数 的 instance 和 那个 另外 有点 日 equal 那个 正整数 day 和 那个 整数 是 greaterThan 另一个 整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	如果 实数 测量单位 是 有点 純物质 的 boiling 点 和 实体 是 有点 純物质 的 instance 和 那个 实体 的 measure 是 另一个 实数 那个 测量单位 在 时距 holdsDuring 和 那个 测量单位 是 UnitOfTemperature 的 instance 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数， 然后 加油站 是 那个 实体 的 attribute 在 那个 时距 holdsDuring 或 有存在 过程 这样 那个 时距 时段 和 那个 过程 出现 的 time 重叠 和 那个 过程 是 沸腾 的 instance 和 那个 实体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	如果 贷款 是 有认知的主事 的 borrower 和 另一个 有认知的主事 lends 那个 贷款 和 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest ， 然后 有存在 金融交易 这样 那个 有认知的主事 是 那个 金融交易 的源头 和 利益 是 那个 金融交易 的 transaction 总额 和 那个 金融交易 在 那个 另外 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29951-29960	如果 有认知的主事 buys 实体 从 施事体 和 那个 实体 是 物理 的 instance， 然后 有存在 过程 这样 那个 过程 是 购买 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 施事体 是 那个 过程 的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29962-29972	如果 有认知的主事 buys 命题 从 施事体 和 那个 命题 是 命题 的 instance， 然后 有存在 过程 和 另一个 过程 这样 那个 有认知的主事 是 那个 过程 的 agent 和 那个 另外 过程 表示 那个 命题 的内容 和 那个 过程 是 购买 的 instance 和 那个 另外 过程 是 那个 过程 的 patient 和 那个 施事体 是 那个 过程 的源头
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	如果 客体 能够担当 格角色 的角色做 有点 过程 和 有点 过程 是 射击 的 subclass， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 武器 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 能够担当 那个 格角色 的角色做 那个 有点 过程
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	如果 机构 能够担当 主事 的角色做 ValetParking 和 那个 机构 是 有认知的主事 的 customer 和 那个 机构 是 located 在 客体 和 过程 是 到达 的 instance 和 那个 有认知的主事 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient 和 那个 过程 在 那个 客体 结束， 然后 有存在 人类 这样 那个 人类 在 那个 机构 任职 Valet 和 有存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 ValetParking 的 instance 和 那个 人类 是 那个 另外 实体 的 agent 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 另外 实体 在 那个 第三 实体 结束 和 那个 第三 实体 是 ParkingRegion 的 instance 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3504-3511	如果 银行卡 是 有内用物体 的 card 代号 和 金融账户 是 那个 银行卡 的 card 帐户， 然后 有存在 过程 这样 那个 过程 是 编码 的 instance 和 那个 金融账户 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	如果 其必須在 时点 之前 在 有认知的主事 check out 和 另一个 有认知的主事 是在 那个 有认知的主事 的 guest ， 然后 那个 有认知的主事 expects 有存在 实体 和 另一个 实体 这样 那个 实体 是 那个 时点 的 instance 和 那个 另外 有认知的主事 是 那个 另外 实体 的 patient 和 那个 另外 实体 是 CheckOutService 的 instance 和 那个 有认知的主事 是 那个 另外 实体 的 agent 和 那个 另外 实体 出现 的 time 的开始%n在那个 实体before发生 会是事实
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	如果 人类 是 国家 的 citizen 和 普选法 是 那个 国家 的 regional 法律 的 subProposition， 然后 那个 国家 的 regional 法律 允许 那个 人类 执行 对所有 实体， 另一个 实体， and 和 第三 实体 如果 那个 人类 是 那个 国家 的 citizen 和 那个 实体 年持续时间 是 那个 国家 的 suffrage 最小年纪 和 那个 人类 的 age 是 那个 另外 实体 年持续时间 和 那个 另外 实体 是 greaterThanOrEqualTo 那个 实体 和 那个 第三 实体 是 那个 国家 的 election 的 instance， 然后 有存在 第四 实体 这样 那个 第四 实体 是 那个 第三 实体 的 voting 的 instance 和 那个 人类 是 那个 第四 实体 的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11966-11976	如果 connectedBodyPart 有点 身体部位 and 另一个 有点 身体部位 和 Healthy 是 客体 的 attribute， 然后 有存在 有点 身体部位I 和 另一个 有点 身体部位I 这样 那个 有点 身体部位I 是 那个 有点 身体部位 的 instance 和 那个 另外 有点 身体部位I 是 那个 另外 有点 身体部位 的 instance 和 那个 有点 身体部位I 是 那个 客体 的 part 和 那个 另外 有点 身体部位I 是 那个 客体 的 part 和 那个 有点 身体部位I 和 那个 另外 有点 身体部位I 是 connected
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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