No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7758-7766 |
更大 Object and Object RealNumber RealNumber and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13605-13611 |
測量 Physical and 測量 RealNumber and 公噸 測量 Physical and 測量 乘法 RealNumber and 2205.0 and 磅質量 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 378-380 |
測量 Physical and 測量 RealNumber and 圓周角度 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧分 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 397-399 |
測量 Physical and 測量 RealNumber and 弧分 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧秒 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13326-13331 |
測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量 部 RealNumber and 16.0 and 磅質量 |
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 |