Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MemberStatus

Sigma KEE - MemberStatus
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners