Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NuclearEnergyAgency(nuclear energy agency) |
| appearance as argument number 1 |
|
| (instance NuclearEnergyAgency OrganizationOfNations) | Government.kif 3678-3678 | Nuclear energy agency is an instance of organization of nations |
| (dateEstablished NuclearEnergyAgency (DayFn 1 (MonthFn February (YearFn 1958)))) |
Government.kif 3682-3682 | The day 1 of month the month February is a date established of nuclear energy agency |
| (organizationalObjective NuclearEnergyAgency PeacefulUseOfAtomicPower) | Government.kif 3683-3683 | Peaceful use of atomic power is an organizational objective of nuclear energy agency |
| (subOrganization NuclearEnergyAgency OrganizationForEconomicCooperationAndDevelopment) | Government.kif 3684-3684 | Nuclear energy agency is a part of the organization organization for economic cooperation and development |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Nuclear Energy Agency" NuclearEnergyAgency) | Government.kif 3679-3679 | Nuclear energy agency is a conventional long name of "Nuclear Energy Agency" |
| (conventionalLongName "OECD Nuclear Energy Agency" NuclearEnergyAgency) | Government.kif 3680-3680 | Nuclear energy agency is a conventional long name of "OECD Nuclear Energy Agency" |
| (abbreviation "NEA" NuclearEnergyAgency) | Government.kif 3681-3681 | "NEA" is an abbreviation of nuclear energy agency |
| (termFormat EnglishLanguage NuclearEnergyAgency "nuclear energy agency") | domainEnglishFormat.kif 41342-41342 | "NEA" is an abbreviation of nuclear energy agency |
| (termFormat ChineseTraditionalLanguage NuclearEnergyAgency "核能機構") | domainEnglishFormat.kif 41343-41343 | "NEA" is an abbreviation of nuclear energy agency |
| (termFormat ChineseLanguage NuclearEnergyAgency "核能机构") | domainEnglishFormat.kif 41344-41344 | "NEA" is an abbreviation of nuclear energy agency |
|