Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AustraliaGroup(australia group) |
| appearance as argument number 1 |
|
| (instance AustraliaGroup OrganizationOfNations) | Government.kif 2873-2873 | Australia group is an instance of organization of nations |
| (dateEstablished AustraliaGroup (YearFn 1984)) |
Government.kif 2875-2875 | The year 1984 is a date established of australia group |
| (organizationalObjective AustraliaGroup CBWExportControls) | Government.kif 2876-2876 | CBW export controls is an organizational objective of australia group |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Australia Group" AustraliaGroup) | Government.kif 2874-2874 | Australia group is a conventional long name of "Australia Group" |
| (termFormat EnglishLanguage AustraliaGroup "australia group") | domainEnglishFormat.kif 9076-9076 | Australia group is a conventional long name of "Australia Group" |
| (termFormat ChineseTraditionalLanguage AustraliaGroup "澳大利亞集團") | domainEnglishFormat.kif 9077-9077 | Australia group is a conventional long name of "Australia Group" |
| (termFormat ChineseLanguage AustraliaGroup "澳大利亚集团") | domainEnglishFormat.kif 9078-9078 | Australia group is a conventional long name of "Australia Group" |
|