UnitOfLength
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2405-2406 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6249-6251 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1088-1090 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6247-6247 | UnitOfLength 是 NonCompositeUnitOfMeasure 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7168-7168 | 埃 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6775-6775 | 厘米 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3840-3840 | 推测 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7182-7182 | 脚长 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7190-7190 | 英寸 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6794-6794 | 公里 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6690-6690 | 仪表 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7091-7091 | 微米 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7197-7197 | 英里 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6787-6787 | 毫米 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19080-19080 | Nanometer 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3855-3855 | 海里 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19069-19069 | 院子长度 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65658-65658 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17947-17958 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 809-825 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6358-6362 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 912-916 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4698-4708 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 777-792 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1949-1971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2632-2641 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6779-6792 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6259-6268 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 587-592 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 918-922 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2667-2673 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4247-4257 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3999-4010 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4231-4241 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 191-199 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 219-227 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 577-585 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7780-7788 | 客体 larger 另一个 客体 若且唯若 对所有 实数, 另一个 实数, and 和 测量单位 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17584-17599 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1083-1088 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23804-23819 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4958-4976 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17207-17222 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1528-1543 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2782-2795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2803-2816 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2823-2836 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4107-4118 |
|