No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3156-3156 |
IACOAirlineCode est une instance de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3143-3143 |
IATAAirlineCode est une instance de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3130-3130 |
AirlineCodeMap est une sous-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2249-2249 |
CurrencyCodeMap est une sous-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2256-2256 |
GeographicCodeMap est une sous-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2242-2242 |
LanguageCodeMap est une sous-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64657-64657 |
|