| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3860-3860 | dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and o dia 28 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3857-3857 | UnitedNationsCivilianPoliceMissionInHaiti e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3861-3861 | organizationalObjective UnitedNationsCivilianPoliceMissionInHaiti and CivilPoliceTraining |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3859-3859 | abbreviation "MIPONUH" and UnitedNationsCivilianPoliceMissionInHaiti |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3858-3858 | conventionalLongName "United Nations Civilian Police Mission in Haiti" and UnitedNationsCivilianPoliceMissionInHaiti |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60082-60082 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60081-60081 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60080-60080 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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