No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3156-3156 |
IACOAirlineCode e' uma instancia de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3143-3143 |
IATAAirlineCode e' uma instancia de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3130-3130 |
AirlineCodeMap e' uma sub-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2249-2249 |
CurrencyCodeMap e' uma sub-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2256-2256 |
GeographicCodeMap e' uma sub-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2242-2242 |
LanguageCodeMap e' uma sub-classe de CodeMap |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64657-64657 |
|