No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7780-7788 |
更大 Object and Object RealNumber RealNumber and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13604-13610 |
測量 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 13325-13330 |
測量 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 25675-25684 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13535-13544 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13565-13574 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13576-13585 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13504-13513 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13515-13526 |
|
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 25710-25725 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17142-17163 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28800-28804 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27466-27470 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28906-28910 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28100-28104 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27549-27553 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |