No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	如果 客体 是 AntibodyCOVIDTest 的 instance 和 那个 客体 是导致 过程 的 instrument 和 那个 过程 是 测量 的 instance 和 另一个 客体 是 那个 过程 的 patient 和 第三 客体 是 COVIDAntibody 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part， 然后 那个 另外 客体 knows 有存在 那个 第三 客体 这样 那个 第三 客体 是 COVIDAntibody 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	如果 施事体 是 Biped 的 instance 和 过程 是 走动 的 instance 和 那个 施事体 是 那个 过程 的 agent， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 腿 的 instance 和 那个 另外 实体 是 腿 的 instance 和 那个 实体 是 那个 施事体 的 part 和 那个 另外 实体 是 那个 施事体 的 part 和 那个 实体 是导致 那个 过程 的 instrument 和 那个 另外 实体 是导致 那个 过程 的 instrument 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	如果 过程 是 AutoImmuneDisorder 的 instance 和 有认知的主事 经历了 那个 过程， 然后 有存在 客体， 另一个 过程， and 和 另一个 客体 这样 那个 客体 是 抗体 的 instance 和 那个 客体 是 那个 有认知的主事 的 part 和 那个 另外 客体 是 细胞 的 instance 和 那个 另外 客体 是 那个 有认知的主事 的 part 和 那个 另外 过程 是 摧毁 的 instance 和 那个 客体 是导致 那个 另外 过程 的 instrument 和 那个 有认知的主事 doesn't desires 那个 另外 过程 是 摧毁 的 instance 和 那个 客体 是导致 那个 另外 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1357-1364	如果 客体 是 飞机场 的 instance 和 机场有着铺设跑道 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 铺好的跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1371-1378	如果 客体 是 飞机场 的 instance 和 机场有着未铺砌的跑道 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 未铺砌的跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	如果 客体 是 飞机场 的 instance 和 长跑道机场 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 实数 这样 那个 另外 客体 是 跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 的 length 是 那个 实数 仪表 和 那个 实数 是 greaterThanOrEqualTo 2438 或 那个 实数 是 lessThanOrEqualTo 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	如果 客体 是 飞机场 的 instance 和 中长跑道机场 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 实数 这样 那个 另外 客体 是 跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 的 length 是 那个 实数 仪表 和 那个 实数 是 greaterThanOrEqualTo 1524 或 那个 实数 是 lessThanOrEqualTo 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	如果 客体 是 飞机场 的 instance 和 短跑道机场 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 实数 这样 那个 另外 客体 是 跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 的 length 是 那个 实数 仪表 和 那个 实数 是 greaterThanOrEqualTo 914 或 那个 实数 是 lessThanOrEqualTo 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	如果 客体 是 飞机场 的 instance 和 很长的跑道机场 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 实数 这样 那个 另外 客体 是 跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 的 length 是 那个 实数 仪表 和 那个 实数 是 greaterThan 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	如果 客体 是 飞机场 的 instance 和 很短的跑道机场 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 实数 这样 那个 另外 客体 是 跑道 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 的 length 是 那个 实数 仪表 和 那个 实数 是 lessThan 914
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 586-591	如果 客体 是 自动申请 的 instance 和 另一个 客体 是 软件系统 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 那个 客体 的 startup 是 那个 另外 客体 的 startup 的 part
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	如果 过程 是 流血的 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 和 另一个 过程 这样 那个 客体 是 静脉 的 instance 或 那个 客体 是 动脉 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 另外 过程 是 损坏 的 instance 和 那个 另外 过程 出现 的 time 比那个 过程 出现 的 time发生的earlier 和 那个 客体 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12847-12853	如果 客体 是 乳房 的 instance 和 自身连接物体 是 人类 的 instance 和 那个 客体 是 那个 自身连接物体 的 part， 然后 那个 客体 是 那个 自身连接物体 的前面 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6514-6522	如果 过程 是 尖刻 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 口 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是导致 那个 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	如果 过程 是 流血的 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 实体 这样 那个 实体 是 血液 的 instance 和 那个 实体 是 那个 施事体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 施事体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	如果 过程 是 沸腾 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 加油站 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	如果 物理 是 Cavitating 的 instance 和 自身连接物体 是 泵 的 instance 和 设备上 是 那个 自身连接物体 的 attribute 和 液体 是 客体 的 attribute 和 那个 自身连接物体 contains 那个 客体， 然后 有存在 那个 自身连接物体P 和 实体 这样 那个 自身连接物体P 是 那个 自身连接物体 的 part 和 那个 自身连接物体P 的 目的 是 液体 是 那个 实体 的 attribute 和 那个 实体 接上 那个 自身连接物体P 和 不存在 另一个 实体 这样 液体 是 那个 另外 实体 的 attribute 和 那个 自身连接物体P 接上 那个 另外 实体 在 那个 物理 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11218-11228	如果 客体 是 Chest 的 instance 和 类 是 动物 的 instance 和 那个 客体 是 那个 类 的 instance 和 那个 客体 是 那个 类 的 part， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 躯干 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 那个 类 的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1823-1830	如果 客体 是 Chest 的 instance 和 那个 客体 是 自身连接物体 的 part 和 另一个 自身连接物体 equal 那个 自身连接物体 的后面， 然后 那个 客体 不 是 那个 另外 自身连接物体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	如果 过程 是 Choking 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 实体， 客体， and 和 另一个 客体 这样 那个 实体 是 客体 的 instance 和 那个 客体 是 Trachea 的 instance 和 那个 另外 客体 是 肺 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 另外 客体 是 那个 施事体 的 part 和 那个 实体 是 located 在 那个 客体 或 那个 实体 是 located 在 那个 另外 客体 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	如果 过程 是 Coughing 的 instance 和 施事体 经历了 那个 过程， 然后 那个 过程 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 另外 实体 是 肺 的 instance 和 那个 第四 实体 是 喉 的 instance 和 那个 第三 实体 是 客体 的 instance 和 那个 实体 是 移除 的 instance 和 那个 另外 实体 是 那个 施事体 的 part 和 那个 第四 实体 是 那个 施事体 的 part 和 objectTransferred 那个 实体 and 那个 第三 实体 和 那个 第三 实体 是 located 在 那个 第四 实体 或 那个 第三 实体 是 located 在 那个 另外 实体 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4391-4399	如果 过程 是 Crawling 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 那个 施事体RM 这样 那个 施事体RM 是 臂 的 instance 和 那个 施事体RM 是 那个 施事体 的 part 和 那个 施事体RM 是导致 那个 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	如果 过程 是 Cricothyroidotomy 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 洞 的 instance 和 第三 实体 equal 洞 那个 另外 实体 的主体 和 那个 第三 实体 是 喉 的 instance 和 那个 第三 实体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1129-1139	如果 转移 是 Crying 的 instance 和 施事体 经历了 那个 转移， 然后 有存在 客体 和 另一个 客体 这样 那个 客体 是 泪液 的 instance 和 那个 另外 客体 是 那个 转移 的源头 和 objectTransferred 那个 转移 and 那个 客体 和 那个 另外 客体 是 眼睛 的 instance 和 那个 另外 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果 客体 是 水晶 的 instance 和 单晶结构 是 那个 客体 的 attribute 和 自身连接物体 是 物质 的 instance 和 固体 是 那个 自身连接物体 的 attribute 和 多晶结构 是 那个 自身连接物体 的 attribute 和 另一个 自身连接物体 是 物质 的 instance 和 那个 另外 自身连接物体 是 那个 自身连接物体 的 surface 和 那个 客体 不 是 那个 另外 自身连接物体 的 part， 然后 有存在 那个 客体LNT， 整数， and 和 另一个 客体 这样 那个 客体LNT 是 群体 的 instance 和 那个 整数 是 那个 客体LNT 的 member 计数 和 那个 整数 是 greaterThanOrEqualTo 4 和 如果 那个 另外 客体 是 那个 客体LNT 的 member， 然后 那个 另外 客体 是 那个 自身连接物体 的 part 和 那个 客体 接上 那个 另外 客体
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