No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7758-7766 |
客体 larger 另一个 客体 若且唯若 对所有 实数, 另一个 实数, and 和 测量单位 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13605-13611 |
物理 的 measure 是 实数 公吨 若且唯若 那个 物理 的 measure 是 那个 实数 和 2205.0 磅质量 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 378-380 |
物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 397-399 |
物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13326-13331 |
物理 的 measure 是 实数 OunceMass 若且唯若 那个 物理 的 measure 是 那个 实数 和 16.0 磅质量 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25687-25696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13536-13545 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13566-13575 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13577-13586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13505-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13516-13527 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6165-6176 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1172-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25722-25737 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17143-17164 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28812-28816 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27478-27482 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28918-28922 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28112-28116 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27561-27565 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |