No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	如果 转移 是 Thoracentesis 的 instance 和 客体 是 那个 转移 的 patient， 然后 有存在 另一个 转移， 另一个 客体,， ， 那个 另外 转移N,， ， 第四 客体,， ， 第五 客体， and 和 第六 客体 这样 那个 另外 转移 是 插入 的 instance 和 那个 另外 转移%n是那个 转移的subProcess 和 objectTransferred 那个 另外 转移 and 第七 客体 和 那个 另外 客体 是 那个 另外 转移 的源头 和 那个 另外 转移 在 那个 另外 转移N 结束 和 那个 第七 客体 是 Needle 的 instance 和 流体 是 那个 第六 客体 的 attribute 和 objectTransferred 那个 转移 and 那个 第六 客体 和 那个 第六 客体 在 那个 另外 客体 结束 和 那个 第四 客体 是 肺 的 instance 和 那个 第五 客体 是 Chest 的 instance 和 那个 第四 客体 是 那个 客体 的 part 和 那个 第五 客体 是 那个 客体 的 part 和 那个 另外 转移N 是 那个 转移 的源头 和 那个 转移 在 那个 另外 客体 结束 和 那个 另外 转移N 是在 那个 第四 客体 和 那个 第五 客体 between 和 那个 另外 客体 在 那个 客体 的 外
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	如果 过程 是 易位 的 instance 和 另一个 过程 是 易位 的 instance 和 客体 是 那个 过程 的源头 和 另一个 客体 是 那个 另外 过程 的源头 和 那个 过程 在 那个 另外 客体 结束 和 那个 另外 过程 在 实体 结束 和 施事体 经历了 那个 过程 和 那个 施事体 经历了 那个 另外 过程， 然后 有存在 第三 过程 这样 那个 第三 过程 是 易位 的 instance 和 那个 客体 是 那个 第三 过程 的源头 和 那个 第三 过程 在 那个 实体 结束 和 那个 过程%n是那个 第三 过程的subProcess 和 那个 另外 过程%n是那个 第三 过程的subProcess 和 那个 施事体 经历了 那个 第三 过程 和 那个 过程 出现 的 time starts了才到 那个 第三 过程 出现 的 time 和 那个 另外 过程 出现 的 time finishes了才到 那个 第三 过程 出现 的 time
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	如果 客体 是 金融交易 的 instance 和 BusinessToBusiness 是 那个 客体 的 attribute， 然后 有存在 用户帐号， 另一个 用户帐号,， ， 施事体,， ， 另一个 施事体， and 和 WebSite 这样 那个 用户帐号 是 用户帐号 的 instance 和 那个 另外 用户帐号 是 用户帐号 的 instance 和 那个 施事体 是 施事体 的 instance 和 那个 另外 施事体 是 施事体 的 instance 和 那个 WebSite 是 WebSite 的 instance 和 那个 施事体 是 那个 客体 的 agent 和 那个 客体 在 那个 另外 施事体 结束 和 那个 WebSite 是导致 那个 客体 的 instrument 和 那个 施事体 有 account 那个 用户帐号 和 那个 另外 施事体 有 account 那个 另外 用户帐号 和 那个 用户帐号 是在 那个 WebSite 的 account 和 那个 另外 用户帐号 是在 那个 WebSite 的 account 和 BusinessAccount 是 那个 用户帐号 的 attribute 和 BusinessAccount 是 那个 另外 用户帐号 的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	如果 客体 是 金融交易 的 instance 和 BusinessToConsumer 是 那个 客体 的 attribute， 然后 有存在 用户帐号， 另一个 用户帐号,， ， 施事体,， ， 另一个 施事体， and 和 WebSite 这样 那个 用户帐号 是 用户帐号 的 instance 和 那个 另外 用户帐号 是 用户帐号 的 instance 和 那个 施事体 是 施事体 的 instance 和 那个 另外 施事体 是 施事体 的 instance 和 那个 WebSite 是 WebSite 的 instance 和 那个 施事体 是 那个 客体 的 agent 和 那个 客体 在 那个 另外 施事体 结束 和 那个 WebSite 是导致 那个 客体 的 instrument 和 那个 施事体 有 account 那个 用户帐号 和 那个 另外 施事体 有 account 那个 另外 用户帐号 和 那个 用户帐号 是在 那个 WebSite 的 account 和 那个 另外 用户帐号 是在 那个 WebSite 的 account 和 BusinessAccount 是 那个 用户帐号 的 attribute 和 ConsumerAccount 是 那个 另外 用户帐号 的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	如果 客体 是 金融交易 的 instance 和 ConsumerToConsumer 是 那个 客体 的 attribute， 然后 有存在 用户帐号， 另一个 用户帐号,， ， 施事体,， ， 另一个 施事体， and 和 WebSite 这样 那个 用户帐号 是 用户帐号 的 instance 和 那个 另外 用户帐号 是 用户帐号 的 instance 和 那个 施事体 是 施事体 的 instance 和 那个 另外 施事体 是 施事体 的 instance 和 那个 WebSite 是 WebSite 的 instance 和 那个 施事体 是 那个 客体 的 agent 和 那个 客体 在 那个 另外 施事体 结束 和 那个 WebSite 是导致 那个 客体 的 instrument 和 那个 施事体 有 account 那个 用户帐号 和 那个 另外 施事体 有 account 那个 另外 用户帐号 和 那个 用户帐号 是在 那个 WebSite 的 account 和 那个 另外 用户帐号 是在 那个 WebSite 的 account 和 ConsumerAccount 是 那个 用户帐号 的 attribute 和 ConsumerAccount 是 那个 另外 用户帐号 的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	如果 客体 是 出售 的 instance 和 CBT 是 那个 客体 的 attribute 和 实体 是 那个 客体 的 patient 和 那个 实体 是 客体 的 instance， 然后 有存在 施事体， 物理,， ， 那个 物理_LOCATION， and 和 那个 施事体_LOCATION 这样 那个 物理 是 施事体 的 instance 和 那个 施事体 是 施事体 的 instance 和 那个 客体 在 那个 物理 结束 和 那个 施事体 是 那个 客体 的 agent 和 那个 物理_LOCATION 是 地缘政治区域 的 instance 和 那个 施事体_LOCATION 是 地缘政治区域 的 instance 和 那个 施事体 是 located 在 那个 施事体_LOCATION 和 那个 物理 是 located 在 那个 物理_LOCATION 和 那个 物理_LOCATION 不 equal 那个 施事体_LOCATION
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	如果 客体 是 肺静脉 的 instance 和 过程 是 转移 的 instance 和 实体 是 那个 过程 的 patient 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 实体 是 血液 的 instance， 然后 有存在 另一个 客体， 第三 客体， and 和 第四 客体 这样 那个 另外 客体 是 肺 的 instance 和 那个 另外 客体 是 那个 过程 的源头 和 那个 客体 是 那个 第四 客体 的 part 和 那个 另外 客体 是 那个 第四 客体 的 part 和 那个 第三 客体 是 那个 第四 客体 的 part 和 那个 第三 客体 是 心 的 instance 和 那个 过程 在 那个 第三 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11124-11134	如果 客体 是 静脉 的 instance 和 过程 是 转移 的 instance 和 实体 是 那个 过程 的 patient 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 实体 是 血液 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 心 的 instance 和 那个 过程 在 那个 另外 实体 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	如果 过程 是 关税 的 instance 和 那个 过程 提到 实体 和 那个 实体 是 那个 过程 的 patient， 然后 有存在 另一个 过程， 客体， and 和 另一个 实体 这样 那个 另外 过程 是 转移 的 instance 和 那个 实体 是 那个 另外 过程 的 patient 和 那个 客体 是 那个 另外 过程 的源头 和 那个 另外 过程 在 那个 另外 实体 结束 和 那个 客体 是 国家 的 instance 和 那个 另外 实体 是 国家 的 instance 和 那个 客体 不 equal 那个 另外 实体 和 那个 另外 过程 出现 的 time 比那个 过程 出现 的 time发生的earlier 和 那个 另外 过程 causes 那个 过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27113-27123	如果 客体 是 TelephoneCommunication 的 instance 和 Domestic 是 那个 客体 的 attribute， 然后 有存在 另一个 客体， 物理， and 和 第三 客体 这样 那个 另外 客体 是 那个 客体 的源头 和 那个 客体 在 那个 物理 结束 和 那个 另外 客体 是 located 在 那个 第三 客体 和 那个 物理 是 located 在 那个 第三 客体 和 那个 第三 客体 是 国家 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27130-27142	如果 客体 是 TelephoneCommunication 的 instance 和 International 是 那个 客体 的 attribute， 然后 有存在 另一个 客体， 物理,， ， 第三 客体， and 和 第四 客体 这样 那个 另外 客体 是 那个 客体 的源头 和 那个 客体 在 那个 物理 结束 和 那个 另外 客体 是 located 在 那个 第三 客体 和 那个 物理 是 located 在 那个 第四 客体 和 那个 第三 客体 是 国家 的 instance 和 那个 第四 客体 是 国家 的 instance 和 那个 第三 客体 不 equal 那个 第四 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27095-27106	如果 客体 是 TelephoneCommunication 的 instance 和 Local 是 那个 客体 的 attribute， 然后 有存在 TelecomNumber， 另一个 TelecomNumber,， ， 施事体,， ， 另一个 施事体， and 和 符号串 这样 那个 施事体 是 那个 客体 的源头 和 那个 客体 在 那个 另外 施事体 结束 和 那个 TelecomNumber 是 那个 施事体 的 telephone number 和 那个 另外 TelecomNumber 是 那个 另外 施事体 的 telephone number 和 area code 在 那个 TelecomNumber 是 那个 符号串 和 area code 在 那个 另外 TelecomNumber 是 那个 符号串
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	如果 客体 的价值 是 货币测量 和 过程 是 处理检查 的 instance 和 那个 客体 是 那个 过程 的 patient 和 那个 过程 在 金融账户 的 currency 结束 和 那个 金融账户 是 金融账户 的 instance 和 那个 过程 出现 的 time equal 那个 过程Time， 然后 有存在 金融交易 和 那个 金融交易Time 这样 那个 金融交易 是 存款 的 instance 和 那个 客体 是导致 那个 金融交易 的 instrument 和 那个 金融交易 出现 的 time equal 那个 金融交易Time 和 那个 过程Time 接着 那个 金融交易Time 和 那个 货币测量 是 那个 金融交易 的 transaction 总额 和 那个 金融交易 在 那个 金融账户 的 currency 结束
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	如果 对于 有点 物理 协商的 price 在 协议 是 货币测量 和 那个 协议 是 有认知的主事 的 party 协议 和 那个 协议 是 另一个 有认知的主事 的 party 协议， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 出售 的 instance 和 那个 另外 实体 是 那个 实体 的 patient 和 那个 另外 实体 是 有点 物理 的 immediateInstance 和 那个 有认知的主事 是 那个 实体 的 agent 和 那个 实体 在 那个 另外 有认知的主事 结束 和 那个 货币测量 是 那个 实体 的 transaction 总额 的声明 has 诺言 的语气
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.	ComputingBrands.kif 3217-3229	如果 物理 有 啟動中 的 attribute 和 那个 物理 是 电脑 的 instance， 然后 有存在 客体， 另一个 客体， and 和 转移 这样 那个 客体 是 数字数据 的 instance 和 那个 另外 客体 是 操作系统 的 instance 和 那个 转移 是 数据传输 的 instance 和 那个 转移 出现 的 time 在 那个 物理 出现 的 time 时段内发生 和 那个 转移 在 那个 物理 结束 和 那个 客体 是 那个 另外 客体 的 part 和 objectTransferred 那个 转移 and 那个 客体
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	如果 有点 物理 由 有认知的主事 定的 price 根据 PricingScheme 是 函数量 和 那个 函数量 equal 实数 的 measure 是 测量单位 是 货币测量 的 per 和 那个 测量单位 是 UnitOfDuration 的 instance 和 实体 是 有点 物理 的 immediateInstance 和 过程 是 租 的 instance 和 那个 实体 是 那个 过程 的 patient 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 那个 实数INT 是 存在， 然后 对所有 另一个 时距 如果 有存在 另一个 实数 这样 那个 实数INT 在 那个 另外 时距 时段内发生 和 那个 另外 时距 是 时距 的 instance 和 那个 另外 时距 的 duration 是 那个 另外 实数 那个 测量单位 和 那个 另外 实数 是 lessThanOrEqualTo 那个 实数， 然后 有存在 金融交易 这样 那个 金融交易 是 付款 的 instance 和 那个 金融交易 在 那个 有认知的主事 结束 和 那个 施事体 是 那个 金融交易 的 agent 和 那个 货币测量 是 那个 金融交易 的 transaction 总额
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	如果 Reservation starts 在 时点 和 那个 Reservation ends 在 另一个 时点 和 施事体 reserves 那个 Reservation 和 另一个 施事体 fulfills 那个 Reservation ， 然后 有存在 实体 这样 那个 实体 是 有意图过程 的 instance 和 那个 另外 施事体 是 那个 实体 的 agent 和 那个 实体 在 那个 施事体 结束 在 那个 时点 和 那个 另外 时点 间的时段 holdsDuring 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3062-3075	如果 施事体 believes 另一个 施事体 是 属性 和 那个 属性 是 FoodRating 的 instance 和 那个 另外 施事体 是 施事体 的 instance， 然后 有存在 实体， 过程， and 和 另一个 过程 这样 那个 过程 是 烹饪 的 instance 和 那个 另外 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 result 和 那个 另外 过程 是 分类 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 实体 结束 和 那个 属性 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3091-3103	如果 施事体 believes 另一个 施事体 是 属性 和 那个 属性 是 ServiceRating 的 instance 和 那个 另外 施事体 是 施事体 的 instance， 然后 有存在 过程 和 另一个 过程 这样 那个 过程 是 服务 的 instance 和 那个 另外 施事体 是 那个 过程 的 agent 和 那个 另外 过程 是 分类 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 过程 结束 和 那个 属性 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	如果 suppliesBlood 有点 动脉 and 有点 身体部位 和 物理 是 有点 动脉 的 instance 和 实体 是 有点 身体部位 的 instance， 然后 那个 物理 的 目的 是 有存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 液体运动 的 instance 和 objectTransferred 那个 另外 实体 and 那个 第三 实体 和 那个 第三 实体 是 血液 的 instance 和 那个 另外 实体 在 那个 实体 结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 771-781	如果 串列 是样品清单 viewed 由 施事体 和 过程 是 那个 串列 的 member， 然后 那个 过程 是 AccessingWebPage 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 有存在 实体 这样 那个 实体 是 WebPage 的 instance 和 那个 过程 在 WebPage 结束
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	如果 Valet 是 客体 的 attribute， 然后 那个 客体 的 目的 是 实体 是 车辆 的 instance 和 另一个 实体 是 放 的 instance 和 那个 另外 实体 在 第三 实体 结束 和 那个 第三 实体 是 ParkingRegion 的 instance 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 客体 是 那个 另外 实体 的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29462-29473	如果 CoinOperated 是 客体 的 attribute， 然后 那个 客体 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 那个 第三 实体CT 这样 那个 实体 是 货币硬币 的 instance 和 那个 另外 实体 是 金融交易 的 instance 和 那个 另外 实体 在 那个 客体 结束 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 第三 实体 是 那个 另外 实体 的源头 和 那个 另外 实体 causes 那个 第三 实体CT 和 那个 第三 实体 wants 那个 第三 实体CT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15151-15163	如果 Translucent 是 客体 的 attribute， 然后 有存在 实体， 另一个 实体， and 和 那个 客体BJ 这样 那个 实体 是 放射光线 的 instance 和 那个 另外 实体 是 那个 实体 的 resource 和 那个 实体 在 那个 客体BJ 结束 和 那个 客体 是在 那个 另外 实体 和 那个 客体BJ between 和 发光的 是 那个 客体BJ 的 attribute 在 那个 实体 出现 的 time holdsDuring 的声明 has 可能性 的语气
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