No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	如果 过程 是 FourStrokeCompression 的 instance 和 客体 是 EngineCylinder 的 instance 和 洞 是 InternalCombustionChamber 的 instance 和 那个 客体 equal 洞 那个 洞 的主体 和 那个 过程 是 located 在 那个 客体 ， 然后 Pressurized 是 那个 洞 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	如果 过程 是 FourStrokeExhaust 的 instance 和 客体 是 EngineCylinder 的 instance 和 洞 是 InternalCombustionChamber 的 instance 和 那个 客体 equal 洞 那个 洞 的主体 和 那个 过程 是 located 在 那个 客体 ， 然后 有存在 实体 和 另一个 过程 这样 那个 另外 过程 是 气体运动 的 instance 和 那个 实体 是 Exhaust 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 洞 是 那个 另外 过程 的源头 和 那个 实体 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	如果 过程 是 FourStrokeIntake 的 instance 和 客体 是 EngineCylinder 的 instance 和 洞 是 InternalCombustionChamber 的 instance 和 那个 客体 equal 洞 那个 洞 的主体 和 那个 过程 是 located 在 那个 客体 ， 然后 有存在 那个 过程V 和 另一个 过程 这样 那个 另外 过程 是 气体运动 的 instance 和 那个 过程V 是 FuelVapor 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 在 那个 洞 结束 和 那个 过程V 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	如果 群体 是 军事力量 的 instance 和 施事体 是 人类 的 instance 和 过程 是 监禁 的 instance 和 那个 施事体 是 那个 群体 的 member 和 另一个 施事体 是 那个 过程 的 agent 和 那个 施事体 是 那个 过程 的 patient 和 enemy 那个 另外 施事体 and 那个 施事体 和 那个 过程 是 located 在 客体 和 战争状态 是 那个 客体 的 attribute， 然后 战俘 是 那个 施事体 的 attribute
No TPTP formula. May not be expressible in strict first order.	WMD.kif 654-660	如果 客体 是 核武器生产设施 的 instance 和 过程 是 发展大规模杀伤性武器 的 instance 和 那个 过程 是 located 在 那个 客体 和 实体 是 那个 过程 的 result， 然后 那个 实体 是 核武器 的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 666-671	如果 客体 是 核武器研究设施 的 instance 和 过程 是 研究大规模杀伤性武器 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 那个 过程 提到 核武器
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2546	如果 过程 是 雾 的 instance 和 那个 过程 是 located 在 地区 和 那个 地区 是 地理区域 的 instance 和 客体 是 大气地区 的 instance 和 那个 客体 在 那个 地区 的 以上 和 另一个 客体 是 气溶胶 的 instance 和 那个 另外 客体 对于 那个 客体 在时间 那个 过程 出现 的 time located 和 visibility 在 那个 地区 期间 那个 过程 出现 的 time 是 实数 仪表 ， 然后 那个 实数 是 lessThan 1000.0
No TPTP formula. May not be expressible in strict first order.	Music.kif 986-996	如果 施事体 是 MarchingBand 的 instance 和 过程 是 音乐表演 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 客体 是 在户外 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 走动 的 instance 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 749-759	如果 过程 是 飓风 的 instance 和 那个 过程 是 located 在 客体 和 那个 客体 是 地理区域 的 instance 和 那个 客体 是 located 在 另一个 客体 或 那个 客体 接上 那个 另外 客体， 然后 那个 另外 客体 equal NortheasternPacificOcean 或 那个 另外 客体 equal 北大西洋
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2439-2453	如果 过程 是 飓风 的 instance 和 实体 是 萨菲尔辛普森飓风5 的 instance 和 那个 过程 是 located 在 客体 和 有认知的主事 believes 那个 过程 有 那个 实体 的 attribute， 然后 有存在 实数 这样 那个 实数 是 greaterThan 157.0 和 那个 有认知的主事 believes 那个 实数 英里每小時 equal 那个 客体地区在那个 过程 出现 的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2361-2380	如果 过程 是 飓风 的 instance 和 时速级数属性 是 萨菲尔辛普森飓风风力等级 的 instance 和 那个 过程 是 located 在 客体 和 有认知的主事 believes 那个 过程 有 那个 时速级数属性 的 attribute 和 那个 时速级数属性 的最低和最高是 实数 测量单位 和 另一个 实数 那个 测量单位 和 那个 测量单位 是 测量单位 的 instance， 然后 有存在 第三 实数 这样 那个 第三 实数 是 greaterThanOrEqualTo 那个 实数 和 那个 第三 实数 是 lessThanOrEqualTo 那个 另外 实数 和 那个 有认知的主事 believes 那个 第三 实数 那个 测量单位 equal 那个 客体地区在那个 过程 出现 的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	如果 过程 是 阴霾 的 instance 和 那个 过程 是 located 在 地区 和 那个 地区 是 地理区域 的 instance 和 客体 是 大气地区 的 instance 和 那个 客体 在 那个 地区 的 以上 和 另一个 客体 对于 那个 客体 在时间 那个 过程 出现 的 time located 和 visibility 在 那个 地区 期间 那个 过程 出现 的 time 是 实数 公里 ， 然后 那个 实数 是 greaterThan 2.0 和 那个 实数 是 lessThan 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2586-2594	如果 过程 是 阴霾 的 instance 和 客体 是 地理区域 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 BadAirQuality 是 那个 客体 的 attribute 的声明 has 容易 的语气 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1575-1588	如果 过程 是 高激浪 的 instance 和 客体 是 水域 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 有存在 另一个 过程 和 施事体 这样 那个 另外 过程 是 游泳 的 instance 和 那个 施事体 是 人类 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 是 located 在 那个 客体 和 危险 那个 过程 and 那个 施事体 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	如果 时距 是 低潮 的 instance 和 另一个 时距 是 高潮 的 instance 和 那个 时距 是 located 在 客体 和 那个 另外 时距 是 located 在 那个 客体 和 第三 时距 是 日 的 instance 和 那个 第三 时距 时段 和 那个 时距 重叠 和 那个 第三 时距 时段 和 那个 另外 时距 重叠， 然后 有存在 实数， 另一个 实数， and 和 实体 这样 那个 实体 是 UnitOfLength 的 instance 和 那个 实数 那个 实体 是 那个 客体 的 water 深度 在 那个 时距 holdsDuring 和 那个 另外 实数 那个 实体 是 那个 客体 的 water 深度 在 那个 另外 时距 holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
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.	FinancialOntology.kif 293-306	如果 过程 是 开户 的 instance 和 那个 过程 是 located 在 金融机构 和 那个 金融机构 是 金融机构 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 那个 过程 出现 的 time equal 那个 过程Time， 然后 有存在 金融账户 和 那个 金融账户Period 这样 那个 金融账户Period 是 那个 金融账户 的 agreement 週期 和 那个 过程Time 接着 那个 金融账户Period 和 那个 金融账户 是 金融账户 的 instance 和 那个 金融账户 是被 那个 金融机构 held 和 那个 有认知的主事 持有 account 那个 金融账户
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23505-23510	如果 过程 是 过程 的 instance 和 那个 过程 是 located 在 客体 和 另一个 过程%n是那个 过程的subProcess， 然后 那个 另外 过程 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2328-2338	如果 过程 是 余震 的 instance 和 那个 过程 是 located 在 客体 ， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 地震 的 instance 和 那个 另外 过程 是 located 在 那个 客体 和 那个 另外 过程 出现 的 time%n在那个 过程 出现 的 timebefore发生
No TPTP formula. May not be expressible in strict first order.	Weather.kif 798-804	如果 过程 是 高压天气系统 的 instance 和 那个 过程 是 located 在 客体 ， 然后 实数 英寸汞 是 那个 客体 的 barometric 压力 和 那个 实数 是 greaterThan 30.2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 543-550	如果 过程 是 低压天气系统 的 instance 和 客体 是 地区 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 实数 英寸汞 是 那个 客体 的 barometric 压力 和 那个 实数 是 lessThan 29.5
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2187-2201	如果 过程 是 龙卷风 的 instance 和 实体 是 改良藤田5 的 instance 和 那个 过程 是 located 在 客体 和 有认知的主事 believes 那个 过程 有 那个 实体 的 attribute， 然后 有存在 实数 这样 那个 实数 是 greaterThan 200.0 和 那个 有认知的主事 believes 那个 实数 英里每小時 equal 在 那个 过程 出现 的 time 时间结束以前， 发生在区域 那个 客体 的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2092-2110	如果 过程 是 龙卷风 的 instance 和 时速级数属性 是 改良藤田级数 的 instance 和 那个 过程 是 located 在 客体 和 有认知的主事 believes 那个 过程 有 那个 时速级数属性 的 attribute 和 那个 时速级数属性 的最低和最高是 实数 英里每小時 和 另一个 实数 英里每小時， 然后 有存在 第三 实数 这样 那个 第三 实数 是 greaterThanOrEqualTo 那个 实数 和 那个 第三 实数 是 lessThanOrEqualTo 那个 另外 实数 和 那个 有认知的主事 believes 那个 第三 实数 英里每小時 equal 在 那个 过程 出现 的 time 时间结束以前， 发生在区域 那个 客体 的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	如果 过程 是 TwoStrokeTransfer 的 instance 和 客体 是 EngineCylinder 的 instance 和 洞 是 InternalCombustionChamber 的 instance 和 那个 客体 equal 洞 那个 洞 的主体 和 那个 过程 是 located 在 那个 客体 ， 然后 有存在 实体 和 另一个 过程 这样 那个 另外 过程 是 气体运动 的 instance 和 那个 实体 是 Exhaust 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 洞 是 那个 另外 过程 的源头 和 那个 实体 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Weather.kif 783-790	如果 过程 是 台风 的 instance 和 那个 过程 是 located 在 客体 和 那个 客体 是 地理区域 的 instance， 然后 那个 客体 是 located 在 NorthwesternPacificOcean 或 那个 客体 接上 NorthwesternPacificOcean
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