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 6250-6252 | |
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 6248-6248 | UnitOfLength 是 NonCompositeUnitOfMeasure 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7169-7169 | 埃 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6776-6776 | 厘米 是 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 7183-7183 | 脚长 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7191-7191 | 英寸 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6795-6795 | 公里 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6691-6691 | 仪表 是 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 7198-7198 | 英里 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6788-6788 | 毫米 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19108-19108 | 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 19097-19097 | 院子长度 是 UnitOfLength 的 instance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65660-65660 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17975-17986 |
|
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 6359-6363 | |
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 4693-4703 | |
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 1926-1948 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1410-1429 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1388-1406 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1325-1348 |
|
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 2700-2706 | |
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 7794-7802 | 客体 larger 另一个 客体 若且唯若 对所有 实数, 另一个 实数, and 和 测量单位 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17612-17627 | |
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 23862-23877 | |
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 17235-17250 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1515-1530 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2775-2788 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2796-2809 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2816-2829 |
|
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 |
|