member |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2624-2624 | PalmyraAtoll e' membro de UnitedStatesMinorOutlyingIslands |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3214-3214 | Portugal e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3215-3215 | Slovakia e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3216-3216 | Slovenia e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | Spain e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2623-2623 | WakeIsland e' membro de UnitedStatesMinorOutlyingIslands |