|
|
   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 est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2490 | AdvisoryCommittee est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2470-2470 | AssociateMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2494-2494 | AssociatePartner est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2488-2488 | BoardOfTrusteesMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2483-2483 | CategoryIIIMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2482-2482 | CategoryIIMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2481-2481 | CategoryIMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2489-2489 | Commissioner est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2473-2473 | CooperatingState est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2484-2484 | CorrespondentMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2471-2471 | DialoguePartner est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2486-2486 | ExecutiveBoardMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2487-2487 | ExecutiveCommitteeMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2466-2466 | FullMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2472-2472 | GuestStatus est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2493-2493 | InternationalOrNonregionalMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2475-2475 | MembershipApplicant est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2476-2476 | MembershipPending est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2492-2492 | NonpermanentStatus est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2468-2468 | NonregionalMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2477-2477 | NonstateParticipant est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2467-2467 | ObserverStatus est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2480-2480 | PartIIMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2479-2479 | PartIMember est une instance de MemberStatus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2474-2474 | PartnersForCooperation est une instance de MemberStatus |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|