No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26329-26340 |
过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6478-6488 |
实体 是 共轭物质 的 instance 若且唯若 有存在 客体, 另一个 客体, and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 968-975 |
整数 是 机构 的 year 资金 若且唯若 有存在 过程 和 那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 year 的 instance 和 那个 过程 是 创建 的 instance 和 那个 机构 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20752-20758 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17332-17345 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4195-4204 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 994-1003 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3199-3211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8726-8736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19379-19392 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10222-10237 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 85-94 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 750-758 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1190-1205 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3665-3678 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 655-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1012-1026 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6219-6228 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1607-1617 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5210-5222 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4384-4399 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16802-16810 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 32-44 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |