| No TPTP formula. May not be expressible in strict first order. | Media.kif 2233-2233 | CodeMap e' uma sub-classe de ClassificationScheme |
| 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 2242-2242 | LanguageCodeMap 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 |
|
|