No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3156-3156 |
例 IACOAirlineCode and CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3143-3143 |
例 IATAAirlineCode and CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3130-3130 |
子類 AirlineCodeMap and CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2249-2249 |
子類 CurrencyCodeMap and CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2256-2256 |
子類 GeographicCodeMap and CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2242-2242 |
子類 LanguageCodeMap and CodeMap |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64657-64657 |
|