Region |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2991-2991 | 子類 過境路線 and Region |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2924-2924 | 子類 中轉站 and Region |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14265-14265 | 子類 公交專用道 and Region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17673-17673 | 子類 UnderwaterRegion and Region |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 831-831 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 864-864 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 507-507 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 39-39 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 42-42 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2192-2192 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 459-459 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 74-74 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 528-528 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 43-43 |