No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3108-3108 |
例 FederalAviationAdministration and 運輸當局 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3113-3113 |
例 InternationalAirTransportAssociation and 運輸當局 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58982-58982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58981-58981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58980-58980 |
|