No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	如果 服务 是 WaterTransportationService 的 instance 和 有认知的主事 在 那个 服务 中提供服务 和 沿海和大湖泊客运 是 那个 有认知的主事 的 attribute， 然后 有存在 过程， 客体， and 和 地理区域 这样 那个 过程%n是那个 服务的subProcess 和 那个 过程 是 水运 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 客船 的 instance 和 那个 过程 是 located 在 那个 地理区域 和 那个 地理区域 是 水域 的 instance 和 那个 地理区域 是 美国 的 geographic 次要地区 和 不存在 另一个 实体 这样 那个 另外 实体 是 近海客船 的 instance 和 那个 客体 equal 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	如果 服务 是 WaterTransportationService 的 instance 和 有认知的主事 在 那个 服务 中提供服务 和 深海货运 是 那个 有认知的主事 的 attribute， 然后 有存在 过程 和 客体 这样 那个 过程%n是那个 服务的subProcess 和 那个 过程 是 水运 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 货船 的 instance 和 那个 过程 是 located 在 世界海洋
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	如果 服务 是 WaterTransportationService 的 instance 和 有认知的主事 在 那个 服务 中提供服务 和 深海客运 是 那个 有认知的主事 的 attribute， 然后 有存在 过程 和 客体 这样 那个 过程%n是那个 服务的subProcess 和 那个 过程 是 水运 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 客船 的 instance 和 那个 过程 是 located 在 世界海洋 和 不存在 另一个 实体 这样 那个 另外 实体 是 近海客船 的 instance 和 那个 客体 equal 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2359-2369	如果 过程 的 measure 是 实数 更大的规模 和 那个 过程 是 地震 的 instance， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 地震 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 的 measure 是 那个 实数 更大的规模
No TPTP formula. May not be expressible in strict first order.	Music.kif 524-532	如果 Acapella 是在 genre 有内用物体 和 那个 有内用物体 是个 过程 的 record ， 然后 不存在 另一个 过程 这样 那个 另外 过程 是 器乐 的 instance 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17392-17402	如果 施事体 有 属性 的 attribute 和 那个 属性 是 比赛属性 的 instance， 然后 有存在 过程 这样 那个 过程 是 比赛 的 instance 和 那个 施事体 是 那个 过程 的 agent 或 那个 施事体 是 那个 过程 的 patient 或 那个 施事体%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19499-19509	如果 施事体 有 属性 的 attribute 和 那个 属性 是 游戏属性 的 instance， 然后 有存在 过程 这样 那个 过程 是 游戏 的 instance 和 那个 施事体 是 那个 过程 的 agent 或 那个 施事体 是 那个 过程 的 patient 或 那个 施事体%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19515-19525	如果 施事体 有 属性 的 attribute 和 那个 属性 是 体育属性 的 instance， 然后 有存在 过程 这样 那个 过程 是 游戏 的 instance 和 那个 施事体 是 那个 过程 的 agent 或 那个 施事体 是 那个 过程 的 patient 或 那个 施事体%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	如果 有点 物理 是 amenity 在 有点 HotelUnit 和 有点 物理 是 过程 的 subclass， 然后 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 有点 HotelUnit 的 instance 和 那个 实体 是 那个 第三 实体 的财产 的 element 和 那个 第三 实体 是 那个 另外 实体 的 agent 和 那个 另外 实体 是 那个 有点 物理 的 instance 或 那个 第四 实体 是 那个 有点 物理 的 instance 和 那个 另外 实体%n是那个 第四 实体的subProcess 和 那个 另外 实体 是 located 在 那个 实体 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	如果 施事体 believes 客体 是 韩元 和 那个 客体 是 food for 人类 的 instance， 然后 有存在 比赛， 另一个 施事体， and 和 过程 这样 那个 另外 施事体 entered 那个 客体 在 那个 比赛 和 那个 过程 是 判断 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程%n是那个 比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Food.kif 37-44	如果 CookedAttribute 是 客体 的 attribute， 然后 有存在 过程 和 另一个 过程 这样 那个 过程 是 烹饪 的 instance 和 那个 另外 过程 是 加热 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 客体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Music.kif 727-734	如果 HipHopMusic 是 客体 的 attribute， 然后 有存在 实体 和 另一个 实体 这样 那个 客体 是个 那个 实体 的 record 和 那个 另外 实体 是 说话 的 instance 和 那个 另外 实体%n是那个 实体的subProcess 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	如果 航空工程师 是 施事体 的 attribute， 然后 有存在 有点 过程 这样 那个 施事体 hasSkill 去做 有点 过程 和 对所有 另一个 过程 如果 那个 另外 过程 是 那个 有点 过程 的 instance， 然后 有存在 第三 过程， 实体， and 和 那个 另外 过程T 这样 那个 第三 过程 是 制作 的 instance 和 那个 实体 是 飞机 的 instance 或 那个 实体 是 那个 另外 过程T 的 instance 和 那个 另外 过程T typically 是 飞机 的 part 和 那个 实体 是 那个 第三 过程 的 result 和 那个 另外 过程%n是那个 第三 过程的subProcess 或 有存在 第四 过程， 那个 另外 过程LAN,， ， 那个 实体， and 和 那个 另外 过程T 这样 那个 第四 过程 是 设计 的 instance 和 那个 实体 是 飞机 的 instance 或 那个 实体 是 那个 另外 过程T 的 instance 和 那个 另外 过程T typically 是 飞机 的 part 和 那个 另外 过程LAN 是 那个 第四 过程 的 result 和 那个 另外 过程LAN 表达 那个 实体 和 那个 另外 过程%n是那个 第四 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	naics.kif 11478-11487	如果 赌博业 是 客体 的 attribute， 然后 那个 客体 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 游戏 的 instance 和 那个 客体 是 那个 实体 的 agent 和 那个 另外 实体 是 打赌 的 instance 和 那个 另外 实体 在 那个 客体 结束 和 那个 另外 实体%n是那个 实体的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17468-17480	如果 施事体 是 另一个 施事体 的 axis， 然后 有存在 过程 这样 那个 过程 是 旋转 的 instance 和 那个 另外 施事体 是 那个 施事体 的 part 和 那个 施事体 经历了 那个 过程 和 不存在 那个 过程2 这样 那个 过程2 是 旋转 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 那个 另外 施事体 经历了 那个 过程2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	如果 施事体 entered 客体 在 比赛 ， 然后 那个 施事体 participates 在 那个 比赛 和 有存在 过程， 另一个 施事体,， ， 另一个 过程， and 和 实体 这样 那个 过程 是 制作 的 instance 和 那个 客体 是 那个 过程 的 result 和 那个 施事体 是 那个 过程 的 agent 和 那个 另外 过程 是 判断 的 instance 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 另外 施事体 believes 那个 客体 是 那个 实体 是 那个 另外 过程 的 result 和 那个 另外 过程%n是那个 比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	如果 施事体 是 符号串 的 day 电话， 然后 有存在 电话， 实体， and 和 实数 这样 那个 电话 是 那个 符号串 的 phone 号码 和 那个 实数 是 greaterThan 6 和 那个 实数 是 lessThan 18 和 有存在 另一个 实体 这样 那个 另外 实体 是 致电 的 instance 和 那个 另外 实体 在 那个 施事体 结束 和 那个 电话 是 那个 另外 实体 的 patient 和 那个 施事体 possesses 那个 电话 和 有存在 第三 实体 这样 那个 第三 实体 是 回答中 的 instance 和 那个 第三 实体%n是那个 另外 实体的subProcess 和 那个 施事体 是 那个 第三 实体 的 agent 的声明 has 容易 的语气 在 那个 实体 是 那个 实数 hour 的 instance holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	如果 施事体 是 符号串 的 evening 电话， 然后 有存在 电话， 实体， and 和 实数 这样 那个 电话 是 那个 符号串 的 phone 号码 和 那个 实数 是 greaterThan 18 和 那个 实数 是 lessThan 6 和 有存在 另一个 实体 这样 那个 另外 实体 是 致电 的 instance 和 那个 另外 实体 在 那个 施事体 结束 和 那个 电话 是 那个 另外 实体 的 patient 和 那个 施事体 possesses 那个 电话 和 有存在 第三 实体 这样 那个 第三 实体 是 回答中 的 instance 和 那个 第三 实体%n是那个 另外 实体的subProcess 和 那个 施事体 是 那个 第三 实体 的 agent 的声明 has 容易 的语气 在 那个 实体 是 那个 实数 hour 的 instance holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4127-4132	如果 过程 是 located 在 客体 ， 然后 对所有 另一个 过程 如果 那个 另外 过程%n是那个 过程的subProcess， 然后 那个 另外 过程 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4102-4107	如果 过程 是 partly located 在 客体 ， 然后 有存在 另一个 过程 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 393-398	如果 过程 是 直接行动活动 的 instance， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 直接行动 的 instance 和 那个 过程%n是那个 另外 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1442-1451	如果 过程 是 DoubleClicking 的 instance， 然后 有存在 另一个 过程 和 第三 过程 这样 那个 过程%n是那个 另外 过程的subProcess 和 那个 另外 过程 是 Clicking 的 instance 和 那个 过程%n是那个 第三 过程的subProcess 和 那个 另外 过程 不 equal 那个 第三 过程 和 那个 第三 过程 是 Clicking 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1497-1502	如果 过程 是 ShiftClicking 的 instance， 然后 有存在 另一个 过程 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 ShiftKeyHoldDown 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 887-892	如果 过程 是 法律诉讼 的 instance， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 注册 的 instance 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20843-20848	如果 过程 是 农业 的 instance， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 生长 的 instance 和 那个 另外 过程%n是那个 过程的subProcess
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