No TPTP formula. May not be expressible in strict first order. |
Government.kif 2491-2491 |
PermanentStatus e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2469-2469 |
RegionalMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2496-2496 |
SignatoryMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2478-2478 |
SubbureauMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2485-2485 |
SubscriberMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2495-2495 |
SuspendedMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37031-37031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37030-37030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37029-37029 |
|