No TPTP formula. May not be expressible in strict first order.	Government.kif 2491-2491	PermanentStatus est une instance de MemberStatus
No TPTP formula. May not be expressible in strict first order.	Government.kif 2469-2469	RegionalMember est une instance de MemberStatus
No TPTP formula. May not be expressible in strict first order.	Government.kif 2496-2496	SignatoryMember est une instance de MemberStatus
No TPTP formula. May not be expressible in strict first order.	Government.kif 2478-2478	SubbureauMember est une instance de MemberStatus
No TPTP formula. May not be expressible in strict first order.	Government.kif 2485-2485	SubscriberMember est une instance de MemberStatus
No TPTP formula. May not be expressible in strict first order.	Government.kif 2495-2495	SuspendedMember est une instance 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

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