| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2626-2626 | Transitional administration is a subattribute of administration and management |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2627-2627 | Transitional administration is a subattribute of promote regional stability |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4042-4042 | Transitional administration is an organizational objective of united nations interim adminstration mission in kosovo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4048-4048 | Transitional administration is an organizational objective of united nations interim force in lebanon |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4068-4068 | Transitional administration is an organizational objective of united nations mission for the referendum in western sahara |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4088-4088 | Transitional administration is an organizational objective of united nations mission in sierra leone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4101-4101 | Transitional administration is an organizational objective of united nations mission of observers in tajikistan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4238-4238 | Transitional administration is an organizational objective of united nations transitional administration in east timor |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4258-4258 | Transitional administration is an organizational objective of united nations trusteeship council |
| 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 |
|
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