MemberStatus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2460-2464 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | MemberStatus e' uma sub-classe de Atributo Relacional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2490 | AdvisoryCommittee e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2470-2470 | AssociateMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2494-2494 | AssociatePartner e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2488-2488 | BoardOfTrusteesMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2483-2483 | CategoryIIIMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2482-2482 | CategoryIIMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2481-2481 | CategoryIMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2489-2489 | Commissioner e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2473-2473 | CooperatingState e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2484-2484 | CorrespondentMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2471-2471 | DialoguePartner e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2486-2486 | ExecutiveBoardMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2487-2487 | ExecutiveCommitteeMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2466-2466 | FullMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2472-2472 | GuestStatus e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2493-2493 | InternationalOrNonregionalMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2475-2475 | MembershipApplicant e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2476-2476 | MembershipPending e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2492-2492 | NonpermanentStatus e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2468-2468 | NonregionalMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2477-2477 | NonstateParticipant e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2467-2467 | ObserverStatus e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2480-2480 | PartIIMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2479-2479 | PartIMember e' uma instancia de MemberStatus |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2474-2474 | PartnersForCooperation e' uma instancia de MemberStatus |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |