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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitionalAdministration

Sigma KEE - TransitionalAdministration
TransitionalAdministration

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2590-2590 TransitionalAdministration est un sous-attribut de AdministrationAndManagement
No TPTP formula. May not be expressible in strict first order. Government.kif 2591-2591 TransitionalAdministration est un sous-attribut de PromoteRegionalStability

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4006-4006 organizationalObjective UnitedNationsInterimAdminstrationMissionInKosovo and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. Government.kif 4012-4012 organizationalObjective UnitedNationsInterimForceInLebanon and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. Government.kif 4032-4032 organizationalObjective UnitedNationsMissionForTheReferendumInWesternSahara and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. Government.kif 4052-4052 organizationalObjective UnitedNationsMissionInSierraLeone and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. Government.kif 4065-4065 organizationalObjective UnitedNationsMissionOfObserversInTajikistan and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. Government.kif 4202-4202 organizationalObjective UnitedNationsTransitionalAdministrationInEastTimor and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. Government.kif 4222-4222 organizationalObjective UnitedNationsTrusteeshipCouncil and TransitionalAdministration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58864-58864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58863-58863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58862-58862


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