|
|
  geometricDistance
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2626-2626 | TransitionalAdministration e' um sub-atributo de AdministrationAndManagement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2627-2627 | TransitionalAdministration e' um sub-atributo de PromoteRegionalStability |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4042-4042 | organizationalObjective UnitedNationsInterimAdminstrationMissionInKosovo and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4048-4048 | organizationalObjective UnitedNationsInterimForceInLebanon and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4068-4068 | organizationalObjective UnitedNationsMissionForTheReferendumInWesternSahara and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4088-4088 | organizationalObjective UnitedNationsMissionInSierraLeone and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4101-4101 | organizationalObjective UnitedNationsMissionOfObserversInTajikistan and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4238-4238 | organizationalObjective UnitedNationsTransitionalAdministrationInEastTimor and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4258-4258 | organizationalObjective UnitedNationsTrusteeshipCouncil and TransitionalAdministration |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58862-58862 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58861-58861 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58860-58860 |
|
|
|